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:
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆69Updated last year
- A bidirectional type checker☆64Updated 8 years ago
- ☆16Updated 3 years ago
- Fir programming language☆78Updated this week
- A toy dependent typed language.☆32Updated this week
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆61Updated last year
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆55Updated 4 years ago
- Trying to write an understandable implementation of Haskell, in Haskell☆125Updated 4 years ago
- small programming language. pls be gentle.☆39Updated this week
- Prototype for https://github.com/Innf107/vega☆19Updated last year
- a functional programming language with algebraic effects and handlers☆82Updated 7 months ago
- Demo for dependent types + runtime code generation☆71Updated 7 months ago
- IDE support for the functional logic programming language Curry☆32Updated 5 months ago
- Pure functional programming with whole-program mutability inference☆76Updated 2 months ago
- loxomotive - A Lox Interpreter implemented in Haskell☆17Updated 3 years ago
- Slides and handwritten notes on the course on models of programming languages☆51Updated 4 years ago
- Haskell library for type-inference with Hindley-Milner type-system.☆34Updated last year
- A pure type system implemented in OCaml☆77Updated 4 years ago
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated 8 months ago
- Fast higher-order effect handlers with evidence passing☆21Updated last year
- Duo - A research language exploring duality in programming language design☆57Updated 2 years ago
- LLVM code generation in Haskell☆54Updated 11 months ago
- Kempe is a compiled stack-based language☆58Updated last year
- Source code for haskle.net☆30Updated 2 years ago
- Experimental effects library for Idris 2☆43Updated 3 years ago
- Example language server (LSP) implementation for a toy language☆60Updated 4 years ago
- Haskell monad transformer for weighted, non-deterministic computation☆30Updated 8 months ago
- Parser Combinators of Monad☆39Updated 4 years ago
- Anders: Cubical Type Checker☆23Updated last year
- A WIP compiler for a functional language. Very incomplete!☆16Updated 3 years ago