Search: yang.github.io | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

Wa-Lang's Manual Released (wa-lang.github.io)

2 points

3 years ago

92.

KCL – A constraint-based language for configuration and policy scenarios (kcl-lang.github.io)

2 points

3 years ago

93.

A Tour of Koka (an elegant programming language with Algebraic Effects) (koka-lang.github.io)

2 points

5 years ago

94.

MdBook – MdBook Documentation (rust-lang.github.io)

2 points

5 years ago

95.

Query Language for Large-Scale Graph Analysis (socialite-lang.github.io)

2 points

11 years ago

96.

Big data analysis with a datalog-like language (socialite-lang.github.io)

2 points

11 years ago

97.

Coalton (coalton-lang.github.io)

2 points

a month ago

98.

Rust Project Goals 2026 (rust-lang.github.io)

2 points

4 months ago

99.

Rust Bindgen (rust-lang.github.io)

2 points

3 years ago

100.

SQRL: A Safe, Stateful Language for Event Streams [YC W15 Acquired by Twitter] (sqrl-lang.github.io)

2 points

3 years ago

101.

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

2 points

4 years ago

102.

Towards Oberon Exception Handling (oberon-lang.github.io)

2 points

4 years ago

103.

Cognate: Readable and Concise Concatenative Programming (cognate-lang.github.io)

2 points

4 years ago

104.

The Gosu Programming Language (gosu-lang.github.io)

2 points

4 years ago

105.

The Koka Programming Language (koka-lang.github.io)

2 points

4 years ago

106.

Koka: A functional language with effect types and handlers (koka-lang.github.io)

2 points

5 years ago

107.

Future Proofing Rust (rust-lang.github.io)

2 points

6 years ago

108.

Pikelet: A small dependently typed language (pikelet-lang.github.io)

2 points

7 years ago

109.

Arend Theorem Prover (arend-lang.github.io)

2 points

7 years ago

110.

Rust's Unsafe Code Guidelines Reference Published (rust-lang.github.io)

2 points

7 years ago

111.

Idyll makes it easier to author interactive narratives for the web (idyll-lang.github.io)

2 points

9 years ago

112.

The Charly programming language (charly-lang.github.io)

2 points

9 years ago

113.

Gosu Lang (gosu-lang.github.io)

2 points

10 years ago

114.

Gosu: a pragmatic language for the JVM (gosu-lang.github.io)

2 points

10 years ago

115.

Gosu – A Pragmatic Language for the JVM (gosu-lang.github.io)

2 points

11 years ago

116.

A new programming language that compiles to Go (borgo-lang.github.io)

1 point

2 years ago

117.

Optimizing Generic Type Reification In Gosu (gosu-lang.github.io)

1 point

12 years ago

118.

Ring programming language version 1.26 is released (ring-lang.github.io)

1 point

4 months ago

119.

Asynchronous Programming in Rust (rust-lang.github.io)

1 point

4 months ago

120.

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

1 point

a year ago