Pinned Loading

1. pukeko pukeko Public

   A toy compiler based on SPJ's "The Implementation of Functional Programming Languages"

   Haskell 25 5

2. homer homer Public

   A very boring functional programming language

   Rust 3 2

3. digital-asset/daml digital-asset/daml Public

   The Daml smart contract language

   Haskell 904 257

4. rufus rufus Public

   An educational experiment to implement a functional programming language in Rust

   Rust 2 1

5. tsatsiki tsatsiki Public

   A TypeScript implementation of the key ideas behind salsa-rs.

   TypeScript

6. stack-safe-rs stack-safe-rs Public

   Experiments with idea from the blog post "Stack-safety for free?"

   Rust 12 1