mazeppa-dev / mazeppaLinks
A modern supercompiler for call-by-value functional languages
☆422Updated 3 months ago
Alternatives and similar repositories for mazeppa
Users that are interested in mazeppa are comparing it to the libraries listed below
Sorting:
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆412Updated last week
- Inpla: Interaction nets as a programming language (the current version)☆309Updated 9 months ago
- A fast functional language based on two level type theory☆391Updated 2 years ago
- A garden of small programming language implementations 🪴☆275Updated this week
- The MaPLe compiler: efficient and scalable parallel functional programming☆385Updated last week
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆177Updated 4 years ago
- ☆213Updated last year
- an experimental new programming language based on interaction nets☆290Updated this week
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆222Updated last year
- Hazel, a live functional programming environment with typed holes☆1,004Updated this week
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆195Updated 2 weeks ago
- A language with lexical effect handlers and lightweight effect polymorphism☆383Updated this week
- Dependent type checker using normalisation by evaluation☆263Updated 10 months ago
- The cuteness implementation of a dependently typed language.☆191Updated 2 years ago
- Haskell implemented with combinators☆559Updated this week
- ☆495Updated last year
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆221Updated 9 months ago
- A language server for Standard ML in Rust.☆226Updated last month
- Counterexamples in Type Systems☆400Updated 2 years ago
- Claro Lang☆144Updated last year
- OCaml - Oxidized!☆429Updated this week
- A simple ML-like programming language with subtyping and full type inference.☆177Updated 8 months ago
- Bootstrapping ATS3☆223Updated 2 weeks ago
- Systems language with linear types and capability-based security.☆1,362Updated this week
- Pure functional programming with whole-program mutability inference☆72Updated last week
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆110Updated 2 weeks ago
- ☆172Updated 9 months ago
- 🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/☆145Updated last month
- Programming with pure lambda calculus☆112Updated last month
- A categorical programming language with effects☆282Updated 2 years ago