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
Sorting:
- Standard ML of New Jersey☆207Updated 2 weeks ago
- The MaPLe compiler: efficient and scalable parallel functional programming☆376Updated last month
- Lock-free data structures for multicore OCaml☆244Updated last week
- Embeddable Lambda Prolog Interpreter☆311Updated this week
- The Flambda backend project for OCaml☆142Updated this week
- A Language with Dependent Data and Codata Types☆104Updated this week
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆187Updated last week
- A compiler for Standard ML, somewhat☆202Updated 3 years ago
- 1ML prototype interpreter☆282Updated 4 years ago
- Contextual types meet mechanized metatheory!☆188Updated 9 months ago
- 😎TT☆226Updated last year
- Inpla: Interaction nets as a programming language (the current version)☆300Updated 6 months ago
- A fast functional language based on two level type theory☆391Updated 2 years ago
- Proof assistant based on the λΠ-calculus modulo rewriting☆327Updated this week
- Dependent type checker using normalisation by evaluation☆260Updated 8 months ago
- A work-in-progress language and compiler for verified low-level programming☆304Updated this week
- Parallel Programming over Domains☆177Updated last month
- A custom parser/auto-formatter for Standard ML☆76Updated last week
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆222Updated last year
- Alternative algorithm for algebraic subtyping.☆161Updated this week
- The Ott tool for writing definitions of programming languages and calculi☆370Updated 4 months ago
- A garden of small programming language implementations 🪴☆224Updated this week
- An OCaml lexer generator for Unicode☆251Updated last month
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆50Updated 2 years ago
- ☆219Updated last month
- Staged compilation with dependent types☆171Updated 3 weeks ago
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq☆169Updated last week
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆172Updated 3 years ago
- Metamath Zero specification language☆339Updated 3 weeks ago
- QuickCheck inspired property-based testing for OCaml.☆372Updated 2 weeks ago