Search: github.com/4Lang | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

181.

Gluon: a GPU programming language based on the same compiler stack as Triton (github.com/triton-lang)

83 points

9 months ago

182.

Show HN: A new programming language inspired by Go, no LLVM (github.com/nature-lang)

82 points

a year ago

183.

C2nim: A tool to translate ANSI C code to Nim (github.com/nim-lang)

81 points

5 years ago

184.

Show HN: Language games – simple games made with word vectors (github.com/Hellisotherpeople)

81 points

6 years ago

185.

Candy – a minimalistic functional programming language (github.com/candy-lang)

79 points

2 years ago

186.

Rustc: Add do yeet expressions to allow experimentation in nightly (github.com/rust-lang)

78 points

4 years ago

187.

JavaScript is the most popular language on GitHub (github.com/languages)

78 points

15 years ago

188.

NJVL: Nim's New Intermediate Representation (github.com/nim-lang)

78 points

7 months ago

189.

The compiler for Teal, a typed dialect of Lua (github.com/teal-language)

77 points

5 years ago

190.

Veryl: A Modern Hardware Description Language (github.com/veryl-lang)

76 points

2 years ago

191.

Show HN: A Lisp compiler and environment in Go (github.com/gsp-lang)

76 points

11 years ago

192.

Net-glimpse: A little tool for network traffic visualization (github.com/kristian-lange)

69 points

9 years ago

193.

Beyond inductive datatypes: exploring Self types (github.com/kind-lang)

68 points

5 years ago

194.

Pallene: A statically compiled companion language for Lua (github.com/pallene-lang)

66 points

2 years ago

195.

Phel v0.36.0 – Lisp on PHP, now with numeric tower and first-class Vars (github.com/phel-lang)

65 points

a month ago

196.

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

64 points

6 years ago

197.

Programming language Dino and its implementation (github.com/dino-lang)

64 points

a year ago

198.

LangGraph Engineer (github.com/hwchase17)

63 points

2 years ago

199.

Futures Is Stable on Rust 1.36 (github.com/rust-lang)

63 points

7 years ago

200.

RZK: Experimental proof assistant for synthetic ∞-categories (github.com/rzk-lang)

61 points

3 years ago

201.

Replace the “among us” reference with “here” (github.com/rust-lang)

60 points

5 years ago

202.

Automate deep learning training with Kubernetes GPU-cluster (github.com/Langhalsdino)

57 points

9 years ago

203.

Copatterns in Idris (github.com/idris-lang)

56 points

12 years ago

204.

RFC: Rust Has Provenance (github.com/rust-lang)

55 points

2 years ago

205.

The Wa Programming Language (github.com/wa-lang)

52 points

4 years ago

206.

The Mercury logic programming system (github.com/Mercury-Language)

52 points

7 years ago

207.

Lang: Python module for enforcing programming language constraints (github.com/amitassaraf)

52 points

10 years ago

208.

Callisto: Reverse polish notation programming language inspired by YSL-C3, Forth (github.com/callisto-lang)

52 points

2 years ago

209.

Wasp – A programming language that understands what a web app is (github.com/wasp-lang)

49 points

5 years ago

210.

AVR support merged into Rust nightly (github.com/rust-lang)

48 points

6 years ago