Search: github.com/MLanguage | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

301.

Number Script - A Little Language that compiles to JavaScript (github.com/substack)

79 points

14 years ago

302.

Dafny: verification-aware programming language (github.com/Microsoft)

78 points

8 years ago

303.

Show HN: FilterQL – A tiny query language for filtering structured data (github.com/adamhl8)

77 points

9 months ago

304.

Wssdl – WireShark-Specific Dissector Language (github.com/diacritic)

76 points

10 years ago

305.

Tranquil is a programming language built on top of LLVM & the Obj-C Runtime (github.com/fjolnir)

75 points

13 years ago

306.

A Scripting Language for HTTP (github.com/Max00355)

75 points

11 years ago

307.

Domain-Specific Languages of Mathematics (github.com/DSLsofMath)

75 points

3 years ago

308.

Show HN: A compiler for a small language into x86-64 assembly (github.com/MauriceGit)

74 points

6 years ago

309.

Open-interpreter: A natural language interface for computers (github.com/OpenInterpreter)

72 points

2 years ago

310.

Gestalt: A set of React UI components that supports Pinterest’s design language (github.com/pinterest)

72 points

8 years ago

311.

Vyxal: A code-golfing language experience (github.com/Vyxal)

71 points

2 years ago

312.

Show HN: Querying JSON documents using SQL-like language in Scala (github.com/mmalek06)

70 points

6 years ago

313.

Fjord – F# programming language for the JVM (github.com/penberg)

69 points

13 years ago

314.

Show HN: Rambler – A simple and language-independent SQL schema migration tool (github.com/elwinar)

69 points

10 years ago

315.

Eolang, an Experimental Object-Oriented Programming Language Based on 𝜑-Calculus (github.com/cqfn)

69 points

5 years ago

316.

LinearML:a programming language designed to write efficient parallel programs. (github.com/pikatchu)

69 points

15 years ago

317.

Show HN: Pipelines – Language for scripting parrallel pipelines with Python (github.com/calebwin)

69 points

7 years ago

318.

RankPL – A qualitative probabilistic programming language (github.com/tjitze)

69 points

9 years ago

319.

Umka: A statically typed embeddable scripting language (github.com/vtereshkov)

68 points

4 years ago

320.

End to end text to speech system using gruut and onnx, 50 voices, 9 languages (github.com/rhasspy)

68 points

5 years ago

321.

Show HN: Llm2sh – Translate plain-language requests into shell commands (github.com/randombk)

67 points

2 years ago

322.

Lucee: A dynamic, Java-based, tag and scripting language for web app development (github.com/lucee)

66 points

8 years ago

323.

GPT-3: Language Models Are Few-Shot Learners (github.com/openai)

65 points

6 years ago

324.

Dafny: Verification-Aware Programming Language (github.com/dafny-lang)

64 points

6 years ago

325.

The Wonkey Programming Language (github.com/wonkey-coders)

64 points

5 years ago

326.

The Ü Programming Language (github.com/Panzerschrek)

63 points

4 days ago

327.

Tamgu, a functional, imperative, logical programming language (github.com/naver)

63 points

7 years ago

328.

The Lx Programming Language (github.com/c3d)

63 points

7 years ago

329.

Swan – A Lightweight Language Model Execution Environment Using FPGA (github.com/turingmotors)

63 points

2 years ago

330.

Show HN: Natural Language to SQL "Text-to-SQL" API (dataherald.com)

62 points

2 years ago