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:
- A bidirectional type checker☆66Updated 8 years ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆61Updated last year
- Demo for dependent types + runtime code generation☆72Updated 9 months ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆70Updated last year
- Fir programming language☆80Updated last week
- a functional programming language with algebraic effects and handlers☆82Updated 9 months ago
- SKI combinators☆55Updated 8 years ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆55Updated 4 years ago
- The Twelf Programming Language☆145Updated this week
- The Ribbon compiler, interpreter and runtime. An embeddable programming language, offering performance without sacrificing safety or usab…☆19Updated 3 weeks ago
- Trying to write an understandable implementation of Haskell, in Haskell☆125Updated 4 years ago
- Raylib bindings for Lean4☆26Updated 6 months ago
- Slides and handwritten notes on the course on models of programming languages☆51Updated 5 years ago
- Haskell Playground☆154Updated last month
- Prototype for https://github.com/Innf107/vega☆19Updated last year
- The theory of groups☆80Updated 2 years ago
- LLVM code generation in Haskell☆54Updated last year
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated 9 months ago
- Duo - A research language exploring duality in programming language design☆58Updated 2 years ago
- IDE support for the functional logic programming language Curry☆32Updated 3 weeks ago
- loxomotive - A Lox Interpreter implemented in Haskell☆17Updated 3 years ago
- A pure type system implemented in OCaml☆77Updated 4 years ago
- Kempe is a compiled stack-based language☆58Updated last year
- Solving the 1 Billion Row Challenge in MPL☆17Updated last year
- Haskell library for type-inference with Hindley-Milner type-system.☆35Updated last year
- Interactive development environment and runner for Advent of Code challenges☆26Updated last year
- Parser Combinators of Monad☆39Updated 4 years ago
- Efficient effect handlers based on Evidence Passing Semantics.☆32Updated 4 years ago
- A collection of programming languages and type systems.☆33Updated 6 months ago
- ☆16Updated 3 years ago