Search: yang.github.io | Heykuki News

HK

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

2 months ago

112 points

32.

Berry Script: lightweight embedded scripting language for microcontrollers

berry-lang.github.io

a year ago

104 points

33.

TIL: Tcl-inspired command language on top of D

til-lang.github.io

5 years ago

103 points

34.

The Neat Programming Language

neat-lang.github.io

2 years ago

FeepingCreature

96 points

35.

The Elena Programming Language

elena-lang.github.io

6 years ago

91 points

36.

Towards Oberon+ Concurrency

oberon-lang.github.io

2 years ago

86 points

37.

Soufflé: A Datalog Synthesis Tool for Static Analysis

souffle-lang.github.io

4 years ago

84 points

38.

Rust API Guidelines Checklist

rust-lang.github.io

5 years ago

82 points

39.

Verus is a tool for verifying the correctness of code written in Rust

verus-lang.github.io

2 months ago

80 points

40.

Functional Language Features in Rust – Iterators and Closures

rust-lang.github.io

9 years ago

72 points

41.

Gosu – A pragmatic language for the JVM

gosu-lang.github.io

12 years ago

70 points

42.

rustup in official apt repositories: starting from Debian 13 and Ubuntu 24.04

rust-lang.github.io

2 years ago

70 points

43.

Cognate: Readable and concise concatenative programming

cognate-lang.github.io

2 years ago

70 points

44.

Breakelse: When Compiler Developers Get Bored

neat-lang.github.io

3 years ago

63 points

45.

One Reason Typeclasses Are Useful

coalton-lang.github.io

5 years ago

60 points

46.

Systematic, Ontological, Undiscovered Fact Finding Logic Engine

souffle-lang.github.io

4 years ago

57 points

47.

Using Coalton to implement a quantum compiler (2022)

coalton-lang.github.io

a year ago

57 points

48.

A Preview of Coalton 0.2

coalton-lang.github.io

3 months ago

50 points

49.

Sierra – A SIMD Extension for C++

sierra-lang.github.io

8 years ago

35 points

50.

aperio-lang.github.io

a month ago

33 points

51.

A preview of Coalton 0.2, a statically-typed Lisp

coalton-lang.github.io

3 months ago

27 points

52.

Show HN: Cognate – Stack oriented programming in English prose

cognate-lang.github.io

4 years ago

19 points

53.

Nimony v0.2 – early preview of Nim 3.0's compiler

nim-lang.github.io

7 months ago

19 points

54.

The Oberon+ Programming Language

oberon-lang.github.io

5 years ago

17 points

55.

Bene Reader (ePub)

nota-lang.github.io

2 years ago

14 points

56.

Using Coalton to Implement a Quantum Compiler

coalton-lang.github.io

4 years ago

12 points

57.

Nimony v0.2 – early preview of Nim 3.0's compiler

nim-lang.github.io

8 months ago

8 points

58.

Breakelse: When Compiler Developers Get Bored

neat-lang.github.io

3 years ago

FeepingCreature

7 points

59.

Destructive Updates – A Stitch in Time

icicle-lang.github.io

a year ago

7 points

60.

Boolean Algebras, VHDL, and Forth

forward-lang.github.io

5 years ago

7 points