Pinned Loading

1. sly sly Public

   A Scheme compiler and virtual machine

   C 25 1

2. gambit gambit Public

   Forked from gambit/gambit

   Gambit is an efficient implementation of the Scheme programming language.

   C

3. Idris2 Idris2 Public

   Forked from idris-lang/Idris2

   A purely functional programming language with first class types

   Idris

4. mirage mirage Public

   Toy typechecker and interpreter for the Mirage language.

   Rust