Search: yang.github.io | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

121.

Asynchronous Programming in Rust

rust-lang.github.io

5 months ago

1 points

122.

One Reason Typeclasses Are Useful (2011)

coalton-lang.github.io

a year ago

1 points

123.

The Koka Programming Language

koka-lang.github.io

3 years ago

1 points

124.

Coalton: How to Have Our (Typed) Cake and (Safely) Eat It Too

coalton-lang.github.io

3 years ago

1 points

125.

Using Coalton to Implement a Quantum Compiler

coalton-lang.github.io

3 years ago

1 points

126.

Arend Programming Language

arend-lang.github.io

4 years ago

1 points

127.

Soufflé: a Datalog Synthesis Tool for Static Analysis

souffle-lang.github.io

4 years ago

1 points

128.

Derw: An Elm-inspired language that transpiles to TypeScript

derw-lang.github.io

4 years ago

1 points

129.

Coalton Advent of Code Contest

coalton-lang.github.io

5 years ago

1 points

130.

The Koka Programming Language

koka-lang.github.io

5 years ago

1 points

131.

Rust Working Group Async Foundations

rust-lang.github.io

5 years ago

1 points

132.

rust-lang.github.io

5 years ago

1 points

133.

Asynchronous Programming in Rust

rust-lang.github.io

6 years ago

1 points

134.

MdBook: A command line tool and Rust crate to create books using Markdown files

rust-lang.github.io

6 years ago

1 points

135.

UTC time scales and leap second support in the Koka programming language

koka-lang.github.io

7 years ago

1 points

136.

Neural Network in Never

never-lang.github.io

8 years ago

1 points

137.

The Koka Book: An Introduction and Specification of the Koka Language

koka-lang.github.io

9 years ago

1 points

138.

Try idyll-lang in your browser

idyll-lang.github.io

9 years ago

1 points

139.

Introducing Idyll

idyll-lang.github.io

9 years ago

1 points