Search: yang.github.io | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Mine, a Coalton and Common Lisp IDE (coalton-lang.github.io)

112 points

a month ago

32.

Berry Script: lightweight embedded scripting language for microcontrollers (berry-lang.github.io)

104 points

a year ago

33.

TIL: Tcl-inspired command language on top of D (til-lang.github.io)

103 points

5 years ago

34.

The Neat Programming Language (neat-lang.github.io)

96 points

FeepingCreature

2 years ago

35.

The Elena Programming Language (elena-lang.github.io)

91 points

6 years ago

36.

Towards Oberon+ Concurrency (oberon-lang.github.io)

86 points

2 years ago

37.

Soufflé: A Datalog Synthesis Tool for Static Analysis (souffle-lang.github.io)

84 points

4 years ago

38.

Rust API Guidelines Checklist (rust-lang.github.io)

82 points

5 years ago

39.

Verus is a tool for verifying the correctness of code written in Rust (verus-lang.github.io)

80 points

a month ago

40.

Functional Language Features in Rust – Iterators and Closures (rust-lang.github.io)

72 points

9 years ago

41.

Gosu – A pragmatic language for the JVM (gosu-lang.github.io)

70 points

12 years ago

42.

rustup in official apt repositories: starting from Debian 13 and Ubuntu 24.04 (rust-lang.github.io)

70 points

2 years ago

43.

Cognate: Readable and concise concatenative programming (cognate-lang.github.io)

70 points

2 years ago

44.

Breakelse: When Compiler Developers Get Bored (neat-lang.github.io)

63 points

3 years ago

45.

One Reason Typeclasses Are Useful (coalton-lang.github.io)

60 points

4 years ago

46.

Systematic, Ontological, Undiscovered Fact Finding Logic Engine (souffle-lang.github.io)

57 points

3 years ago

47.

Using Coalton to implement a quantum compiler (2022) (coalton-lang.github.io)

57 points

a year ago

48.

A Preview of Coalton 0.2 (coalton-lang.github.io)

50 points

3 months ago

49.

Sierra – A SIMD Extension for C++ (sierra-lang.github.io)

35 points

8 years ago

50.

Aperio Lang (aperio-lang.github.io)

33 points

20 days ago

51.

A preview of Coalton 0.2, a statically-typed Lisp (coalton-lang.github.io)

27 points

3 months ago

52.

Show HN: Cognate – Stack oriented programming in English prose (cognate-lang.github.io)

19 points

4 years ago

53.

Nimony v0.2 – early preview of Nim 3.0's compiler (nim-lang.github.io)

19 points

7 months ago

54.

The Oberon+ Programming Language (oberon-lang.github.io)

17 points

5 years ago

55.

Bene Reader (ePub) (nota-lang.github.io)

14 points

2 years ago

56.

Using Coalton to Implement a Quantum Compiler (coalton-lang.github.io)

12 points

4 years ago

57.

Nimony v0.2 – early preview of Nim 3.0's compiler (nim-lang.github.io)

8 points

7 months ago

58.

Breakelse: When Compiler Developers Get Bored (neat-lang.github.io)

7 points

FeepingCreature

3 years ago

59.

Destructive Updates – A Stitch in Time (icicle-lang.github.io)

7 points

a year ago

60.

Boolean Algebras, VHDL, and Forth (forward-lang.github.io)

7 points

5 years ago