Pinned

1. ordo ordo Public

   Ordo: A minimalist language with row polymorphism

   Rust 74 3

2. be-tree be-tree Public

   BE-Tree: An Index Structure to Efficiently Match Boolean Expressions over High-dimensional Space

   C 39 13

3. Gradualizer Gradualizer Public

   Forked from josefs/Gradualizer

   A Gradual type system for Erlang

   Erlang 1 1

4. stampadia stampadia Public

   Forked from kesiev/stampadia

   A daily print-and-play roguelike adventure you can play offline.

   JavaScript 1

5. lambda-rs lambda-rs Public

   Simple algorithm w type inference in rust

   Rust 1

6. scheme-rs scheme-rs Public

   Write Yourself a Scheme in 48 Hours in Rust

   Rust