Search: github.com/4Lang | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

181.

Crystal 0.24.1 released

github.com/crystal-lang

8 years ago

87 points

182.

Nim: Curated Packages

github.com/nim-lang

4 years ago

themodelplumber

86 points

183.

Gluon: a GPU programming language based on the same compiler stack as Triton

github.com/triton-lang

9 months ago

83 points

184.

Show HN: A new programming language inspired by Go, no LLVM

github.com/nature-lang

a year ago

82 points

185.

C2nim: A tool to translate ANSI C code to Nim

github.com/nim-lang

5 years ago

81 points

186.

Show HN: Language games – simple games made with word vectors

github.com/Hellisotherpeople

6 years ago

81 points

187.

Candy – a minimalistic functional programming language

github.com/candy-lang

2 years ago

79 points

188.

Rustc: Add do yeet expressions to allow experimentation in nightly

github.com/rust-lang

4 years ago

78 points

189.

JavaScript is the most popular language on GitHub

github.com/languages

16 years ago

78 points

190.

NJVL: Nim's New Intermediate Representation

github.com/nim-lang

8 months ago

78 points

191.

The compiler for Teal, a typed dialect of Lua

github.com/teal-language

5 years ago

77 points

192.

Veryl: A Modern Hardware Description Language

github.com/veryl-lang

2 years ago

76 points

193.

Show HN: A Lisp compiler and environment in Go

github.com/gsp-lang

11 years ago

76 points

194.

Net-glimpse: A little tool for network traffic visualization

github.com/kristian-lange

9 years ago

69 points

195.

Beyond inductive datatypes: exploring Self types

github.com/kind-lang

5 years ago

68 points

196.

Pallene: A statically compiled companion language for Lua

github.com/pallene-lang

2 years ago

66 points

197.

Phel v0.36.0 – Lisp on PHP, now with numeric tower and first-class Vars

github.com/phel-lang

2 months ago

65 points

198.

Dafny: Verification-Aware Programming Language

github.com/dafny-lang

6 years ago

64 points

199.

Programming language Dino and its implementation

github.com/dino-lang

a year ago

64 points

200.

LangGraph Engineer

github.com/hwchase17

2 years ago

63 points

201.

Futures Is Stable on Rust 1.36

github.com/rust-lang

7 years ago

63 points

202.

RZK: Experimental proof assistant for synthetic ∞-categories

github.com/rzk-lang

3 years ago

61 points

203.

Replace the “among us” reference with “here”

github.com/rust-lang

5 years ago

60 points

204.

Automate deep learning training with Kubernetes GPU-cluster

github.com/Langhalsdino

9 years ago

57 points

205.

Copatterns in Idris

github.com/idris-lang

12 years ago

56 points

206.

RFC: Rust Has Provenance

github.com/rust-lang

2 years ago

55 points

207.

The Wa Programming Language

github.com/wa-lang

4 years ago

52 points

208.

The Mercury logic programming system

github.com/Mercury-Language

7 years ago

52 points

209.

Lang: Python module for enforcing programming language constraints

github.com/amitassaraf

10 years ago

52 points

210.

Callisto: Reverse polish notation programming language inspired by YSL-C3, Forth

github.com/callisto-lang

2 years ago

52 points