Search: yang.github.io | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

121.

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

1 point

3 years ago

122.

Coalton: How to Have Our (Typed) Cake and (Safely) Eat It Too (coalton-lang.github.io)

1 point

3 years ago

123.

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

1 point

3 years ago

124.

Arend Programming Language (arend-lang.github.io)

1 point

4 years ago

125.

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

1 point

4 years ago

126.

Derw: An Elm-inspired language that transpiles to TypeScript (derw-lang.github.io)

1 point

4 years ago

127.

Coalton Advent of Code Contest (coalton-lang.github.io)

1 point

5 years ago

128.

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

1 point

5 years ago

129.

Rust Working Group Async Foundations (rust-lang.github.io)

1 point

5 years ago

130.

What Is Chalk? (rust-lang.github.io)

1 point

5 years ago

131.

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

1 point

6 years ago

132.

MdBook: A command line tool and Rust crate to create books using Markdown files (rust-lang.github.io)

1 point

6 years ago

133.

UTC time scales and leap second support in the Koka programming language (koka-lang.github.io)

1 point

7 years ago

134.

Neural Network in Never (never-lang.github.io)

1 point

8 years ago

135.

The Koka Book: An Introduction and Specification of the Koka Language (koka-lang.github.io)

1 point

9 years ago

136.

Try idyll-lang in your browser (idyll-lang.github.io)

1 point

9 years ago

137.

Introducing Idyll (idyll-lang.github.io)

1 point

9 years ago