Popular repositories Loading

1. millet millet Public

   A language server for Standard ML.

   Rust 200 12

2. birb birb Public

   A toy programming language with effects and contracts

   Rust 8

3. coc coc Public

   The calculus of constructions

   Rust 7

4. language-util language-util Public

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

   Rust 5

5. hatsugen hatsugen Public

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

   Lean 5

6. sml-libs-scraper sml-libs-scraper Public

   Scraper for online SML libraries

   TypeScript 4