sjsyrek / malc
Make a lambda calculus.
☆86Updated 3 years ago
Related projects: ⓘ
- Example implementation of Algorithm W for Hindley-Milner type inference☆77Updated 2 years ago
- Generate Haskell code from a type☆128Updated 10 months ago
- theseus, functional programming language with fully reversible computation☆116Updated 5 years ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆211Updated last year
- The Art of the Propagator. See also:☆168Updated 5 months ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 7 years ago
- source code for the bondi programming language☆38Updated 5 years ago
- The Makam Metalanguage☆187Updated last year
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆155Updated 3 years ago
- A language experiment -- irc.freenode.net ##coda☆162Updated 5 months ago
- Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"☆129Updated 4 years ago
- A simple Prolog interpreter☆43Updated 2 years ago
- An implementation of Pie in Haskell☆204Updated 4 years ago
- A continuation-based backtracking logic programming monad☆85Updated last week
- An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types☆90Updated last year
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆24Updated 4 years ago
- The Disco Discus Compiler☆174Updated 5 years ago
- higher order dependently typed logic programing☆164Updated 6 years ago
- Collection of Idris tests and demonstration programs☆189Updated 6 years ago
- optics for Haskell with the most amazing type errors you've seen☆243Updated 4 years ago
- Example row-polymorphism implementations☆59Updated 11 months ago
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆66Updated last year
- Relational programming in Haskell. Mostly developed on twitch.☆253Updated 2 weeks ago
- GRIN backend for GHC☆143Updated 2 years ago
- Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp☆117Updated 6 years ago
- Book: Introduction to Dependent Types with Idris☆75Updated last year
- An implementation of miniKanren in Haskell☆76Updated 11 years ago
- ECMAScript back end for Functional Reactive Programming in Agda☆103Updated 6 years ago
- Kempe is a compiled stack-based language☆58Updated 3 months ago
- Charity language interpreters and literature☆114Updated 5 years ago
- Haskell tool to generate expressions from types☆101Updated 7 years ago