Popular repositories Loading

1. millet millet Public

   A language server for Standard ML in Rust.

   Rust 229 12

2. coc coc Public

   The calculus of constructions

   Rust 9

3. rjsonnet rjsonnet Public

   A language server for Jsonnet in Rust.

   Rust 9 2

4. birb birb Public

   A toy programming language with effects and contracts

   Rust 8

5. language-util language-util Public

   Various utility crates that might be useful when implementing a programming language.

   Rust 5

6. hatsugen hatsugen Public

   A small programming language formally defined with a series of blog posts and Lean code.

   Lean 5