Pinned Loading

1. ordo ordo Public

   Ordo: A minimalist language with row polymorphism

   Rust 85 3

2. orlo orlo Public

   Orlo: A minimalist scheme with list and row polymorphism

   Rust

3. be-tree be-tree Public

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

   C 42 16

4. Gradualizer Gradualizer Public

   Forked from josefs/Gradualizer

   A Gradual type system for Erlang

   Erlang 1 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