MPLLang / mpl
The MaPLe compiler: efficient and scalable parallel functional programming
☆376Updated last month
Alternatives and similar repositories for mpl:
Users that are interested in mpl are comparing it to the libraries listed below
- A modern supercompiler for call-by-value functional languages☆407Updated last week
- Inpla: Interaction nets as a programming language (the current version)☆299Updated 5 months ago
- Embeddable Lambda Prolog Interpreter☆309Updated this week
- Standard ML of New Jersey☆206Updated last week
- Spartan type theory☆263Updated 11 months ago
- 1ML prototype interpreter☆281Updated 4 years ago
- A compiler for functional programs on serialized data☆161Updated 2 weeks ago
- A fast functional language based on two level type theory☆390Updated 2 years ago
- Haskell implemented with combinators☆473Updated this week
- Bootstrapping ATS3☆211Updated this week
- A work-in-progress language and compiler for verified low-level programming☆304Updated 2 weeks ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆170Updated 3 years ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆185Updated this week
- The Ott tool for writing definitions of programming languages and calculi☆370Updated 3 months ago
- Dependent type checker using normalisation by evaluation☆258Updated 7 months ago
- A language server for Standard ML in Rust.☆223Updated last month
- Staged compilation with dependent types☆171Updated this week
- Demo for high-performance type theory elaboration☆541Updated last year
- The Makam Metalanguage☆198Updated 2 years ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆222Updated last year
- Metamath Zero specification language☆338Updated last week
- Lock-free data structures for multicore OCaml☆244Updated 3 months ago
- Formal verification for OCaml☆257Updated 8 months ago
- Minimal implementations for dependent type checking and elaboration☆657Updated 3 months ago
- The cuteness implementation of a dependently typed language.☆190Updated 2 years ago
- The MLton repository☆1,007Updated last month
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆609Updated 3 weeks ago
- A compiler for Standard ML, somewhat☆202Updated 3 years ago
- Alternative algorithm for algebraic subtyping.☆161Updated last month
- A categorical programming language with effects☆276Updated 2 years ago