MPLLang / mpl
The MaPLe compiler: efficient and scalable parallel functional programming
☆373Updated last week
Alternatives and similar repositories for mpl:
Users that are interested in mpl are comparing it to the libraries listed below
- 1ML prototype interpreter☆280Updated 4 years ago
- Inpla: Interaction nets as a programming language (the current version)☆297Updated 5 months ago
- A language server for Standard ML in Rust.☆222Updated 2 weeks ago
- A fast functional language based on two level type theory☆389Updated 2 years ago
- Haskell implemented with combinators☆458Updated this week
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆167Updated 3 years ago
- Standard ML of New Jersey☆204Updated this week
- A compiler for functional programs on serialized data☆158Updated this week
- Embeddable Lambda Prolog Interpreter☆305Updated last week
- Bootstrapping ATS3☆210Updated this week
- A modern supercompiler for call-by-value functional languages☆403Updated this week
- Dependent type checker using normalisation by evaluation☆258Updated 6 months ago
- Spartan type theory☆262Updated 10 months ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆222Updated last year
- Demo for high-performance type theory elaboration☆541Updated last year
- The Makam Metalanguage☆198Updated 2 years ago
- Staged compilation with dependent types☆170Updated 3 weeks ago
- The MLton repository☆999Updated 3 weeks ago
- A garden of small programming language implementations 🪴☆220Updated this week
- Minimal implementations for dependent type checking and elaboration☆651Updated 2 months ago
- Poly/ML☆496Updated 2 months ago
- A work-in-progress language and compiler for verified low-level programming