Search: github.com/languages | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

751.

Lingua-Go, the most accurate language detection for Go (github.com/pemistahl)

112 points

4 years ago

752.

Chalktalk – A digital presentation and communication language (github.com/kenperlin)

112 points

michael_nielsen

9 years ago

753.

Vera: a programming language designed for machines to write (github.com/aallan)

111 points

a month ago

754.

Litex: The First Formal Language Learnable in 1-2 Hours (github.com/litexlang)

111 points

8 months ago

755.

_hyperscript – a small scripting language for the web (github.com/bigskysoftware)

111 points

4 years ago

756.

Microsoft.Recognizers.Text: numbers, units, and date/time in multiple languages (github.com/microsoft)

111 points

3 years ago

757.

Quint: A specification language based on the temporal logic of actions (TLA) (github.com/informalsystems)

110 points

2 years ago

758.

Introducing Coalton to lispers without a background in ML-like languages (gist.github.com)

110 points

3 years ago

759.

POML: Prompt Orchestration Markup Language (github.com/microsoft)

109 points

10 months ago

760.

Folders.py: a language with no code and just folders (github.com/SinaKhalili)

109 points

4 years ago

761.

Show HN: Gitgpt – Natural Language Git (github.com/Hesse)

108 points

3 years ago

762.

The Jakt Programming Language (github.com/SerenityOS)

108 points

a year ago

763.

A lightweight, high-performance, language-independent job queue system (github.com/fireworq)

108 points

8 years ago

764.

Ohm: A library and language for building parsers, interpreters, compilers, etc (github.com/ohmjs)

108 points

3 years ago

765.

LMQL: A query language for programming (large) language models (github.com/eth-sri)

108 points

3 years ago

766.

Show HN: The Shark Programming Language (github.com/shogundevel)

107 points

3 years ago

767.

Show HN: Alumina Programming Language (github.com/tibordp)

107 points

4 years ago

768.

Emit-C: A time travelling programming language (github.com/nimrag-b)

107 points

2 years ago

769.

Dafny is a verification-aware programming language (github.com/dafny-lang)

107 points

2 years ago

770.

Clojure-turtle – Logo programming language in a Clojure context (github.com/google)

106 points

9 years ago

771.

Red: A programming language inspired by REBOL (github.com/red)

106 points

5 years ago

772.

Tisp: Time is space programming language (github.com/raviqqe)

106 points

9 years ago

773.

An uroboros program with 100 programming languages (github.com/mame)

106 points

4 years ago

774.

The Titania Programming Language (github.com/gingerBill)

105 points

9 months ago

775.

Forscape – A Language and Editor for Scientific Computation (github.com/JohnDTill)

105 points

2 years ago

776.

Vizh: Visual language that takes image files as input (github.com/TartanLlama)

105 points

5 years ago

777.

Hello world in every programming language (github.com/leachim6)

104 points

10 years ago

778.

Language complexity, measured by how many rules GitHub's .gitignore has (gist.github.com)

104 points

10 years ago

779.

Guidance: A guidance language for controlling large language models (github.com/guidance-ai)

103 points

3 years ago

780.

The Groot Programming Language (github.com/thiagopnts)

103 points

11 years ago