azdavis / milletLinks
A language server for Standard ML in Rust.
☆225Updated last week
Alternatives and similar repositories for millet
Users that are interested in millet are comparing it to the libraries listed below
Sorting:
- Standard ML of New Jersey☆210Updated last week
- The MaPLe compiler: efficient and scalable parallel functional programming☆381Updated 3 months ago
- Lock-free data structures for multicore OCaml☆248Updated last month
- OCaml - Oxidized!☆352Updated this week
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆55Updated 2 years ago
- 1ML prototype interpreter☆282Updated 4 years ago
- Contextual types meet mechanized metatheory!☆191Updated last month
- A custom parser/auto-formatter for Standard ML☆78Updated last month
- A simple ML-like programming language with subtyping and full type inference.