tsani / evalLinks
An implementation of a small strongly-typed functional language with parametric polymorphism, pattern-matching, and general recursion.
☆10Updated last year
Alternatives and similar repositories for eval
Users that are interested in eval are comparing it to the libraries listed below
Sorting:
- Parser Combinators of Monad☆38Updated 4 years ago
- ☆16Updated 3 years ago
- A bidirectional type checker☆63Updated 8 years ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆62Updated last year
- Fir programming language☆63Updated this week
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- Prototype for https://github.com/Innf107/vega☆19Updated last year
- A fancy diagnostics library that allows your compilers to exit with grace☆76Updated 3 months ago
- Demo for dependent types + runtime code generation☆70Updated 5 months ago
- Admiran, a pure, lazy, functional language and self-hosting compiler based upon Miranda☆63Updated this week
- IDE support for the functional logic programming language Curry☆31Updated 3 months ago
- A pure type system implemented in OCaml☆78Updated 4 years ago
- Opam repository for the development version of Jane Street packages☆131Updated this week
- ☆21Updated last year
- Pure functional programming with whole-program mutability inference☆72Updated 2 weeks ago
- 🩺 A library for compiler diagnostics☆47Updated 6 months ago
- A stepping debugger for Standard ML (SML)☆26Updated last year
- Haskell library for type-inference with Hindley-Milner type-system.☆34Updated last year
- A functional programming language with shell scripting capabilities☆118Updated last month
- Duo - A research language exploring duality in programming language design☆57Updated 2 years ago
- A toy dependent typed language.☆31Updated this week
- Compiler and tooling for the Myte programming language.☆21Updated 2 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 7 months ago
- A Haskell 2010 type checker☆17Updated last year
- Raylib bindings for Lean4☆26Updated 3 months ago
- Slides and handwritten notes on the course on models of programming languages☆51Updated 4 years ago
- Trying to write an understandable implementation of Haskell, in Haskell☆125Updated 4 years ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆72Updated 3 years ago
- a functional programming language with algebraic effects and handlers☆82Updated 5 months ago
- A verified compiler for a lazy functional language☆37Updated 2 weeks ago