Popular repositories Loading

1. millet millet Public

   A language server for Standard ML.

   Rust 250 12

2. coc coc Public

   The calculus of constructions

   Rust 11

3. rjsonnet rjsonnet Public

   A language server for Jsonnet in Rust.

   Rust 10 3

4. birb birb Public

   A toy programming language with effects and contracts

   Rust 8

5. hatsugen hatsugen Public

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

   Lean 6

6. language-util language-util Public

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

   Rust 5