azdavis / millet
A language server for Standard ML in Rust.
☆223Updated last month
Alternatives and similar repositories for millet:
Users that are interested in millet are comparing it to the libraries listed below
- Standard ML of New Jersey☆205Updated last week
- Contextual types meet mechanized metatheory!☆188Updated 8 months ago
- 1ML prototype interpreter☆280Updated 4 years ago
- Lock-free data structures for multicore OCaml☆244Updated 3 months ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆185Updated this week
- A fast functional language based on two level type theory☆390Updated 2 years ago
- Embeddable Lambda Prolog Interpreter☆309Updated 2 weeks ago
- The MaPLe compiler: efficient and scalable parallel functional programming☆376Updated 3 weeks ago
- The Flambda backend project for OCaml☆133Updated this week
- A compiler for Standard ML, somewhat☆202Updated 2 years ago
- A garden of small programming language implementations 🪴☆219Updated this week
- Dependent type checker using normalisation by evaluation☆258Updated 7 months ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆48Updated 2 years ago
- A work-in-progress language and compiler for verified low-level programming☆305Updated last week
- 😎TT☆225Updated last year
- Visual Studio Code Extension and Language Server Protocol for Coq☆166Updated last week
- A simple ML-like programming language with subtyping and full type inference.☆172Updated 4 months ago
- A custom parser/auto-formatter for Standard ML☆76Updated last month
- The Ott tool for writing definitions of programming languages and calculi☆370Updated 3 months ago
- A hands-on tutorial on the new parallelism features in OCaml 5☆206Updated last year
- Staged compilation with dependent types☆171Updated this week
- Spartan type theory☆263Updated 10 months ago
- A language with lexical effect handlers and lightweight effect polymorphism☆354Updated this week
- An OCaml lexer generator for Unicode☆251Updated 3 weeks ago
- Bootstrapping ATS3☆210Updated this week
- The Makam Metalanguage☆198Updated 2 years ago
- QuickCheck inspired property-based testing for OCaml.☆371Updated 2 weeks ago
- Formal verification for OCaml☆257Updated 8 months ago
- Alternative algorithm for algebraic subtyping.☆161Updated last month
- ☆204Updated 9 months ago