Ariel Davis azdavis

Popular repositories Loading

1. millet millet Public

   A language server for Standard ML.

   Rust 254 11

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. 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