Search: yang.github.io | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

Wa-Lang: Design for WebAssembly

wa-lang.github.io

2 years ago

2 points

92.

Wa-Lang's Manual Released

wa-lang.github.io

3 years ago

2 points

93.

KCL – A constraint-based language for configuration and policy scenarios

kcl-lang.github.io

4 years ago

2 points

94.

A Tour of Koka (an elegant programming language with Algebraic Effects)

koka-lang.github.io

5 years ago

2 points

95.

MdBook – MdBook Documentation

rust-lang.github.io

5 years ago

2 points

96.

Query Language for Large-Scale Graph Analysis

socialite-lang.github.io

11 years ago

2 points

97.

Big data analysis with a datalog-like language

socialite-lang.github.io

11 years ago

2 points

98.

coalton-lang.github.io

2 months ago

2 points

99.

Rust Project Goals 2026

rust-lang.github.io

5 months ago

2 points

100.

rust-lang.github.io

3 years ago

2 points

101.

SQRL: A Safe, Stateful Language for Event Streams [YC W15 Acquired by Twitter]

sqrl-lang.github.io

3 years ago

2 points

102.

Soufflé: a Datalog Synthesis Tool for Static Analysis

souffle-lang.github.io

4 years ago

2 points

103.

Towards Oberon Exception Handling

oberon-lang.github.io

4 years ago

2 points

104.

Cognate: Readable and Concise Concatenative Programming

cognate-lang.github.io

4 years ago

2 points

105.

The Gosu Programming Language

gosu-lang.github.io

4 years ago

2 points

106.

The Koka Programming Language

koka-lang.github.io

4 years ago

2 points

107.

Koka: A functional language with effect types and handlers

koka-lang.github.io

5 years ago

2 points

108.

Future Proofing Rust

rust-lang.github.io

6 years ago

2 points

109.

Pikelet: A small dependently typed language

pikelet-lang.github.io

7 years ago

2 points

110.

Arend Theorem Prover

arend-lang.github.io

7 years ago

2 points

111.

Rust's Unsafe Code Guidelines Reference Published

rust-lang.github.io

7 years ago

2 points

112.

Idyll makes it easier to author interactive narratives for the web

idyll-lang.github.io

9 years ago

2 points

113.

The Charly programming language

charly-lang.github.io

9 years ago

2 points

114.

gosu-lang.github.io

10 years ago

2 points

115.

Gosu: a pragmatic language for the JVM

gosu-lang.github.io

10 years ago

2 points

116.

Gosu – A Pragmatic Language for the JVM

gosu-lang.github.io

11 years ago

2 points

117.

Rust goal: cargo script (like uv does for Python)

rust-lang.github.io

14 days ago

1 points

118.

A new programming language that compiles to Go

borgo-lang.github.io

2 years ago

1 points

119.

Optimizing Generic Type Reification In Gosu

gosu-lang.github.io

12 years ago

1 points

120.

Ring programming language version 1.26 is released

ring-lang.github.io

4 months ago

1 points