sjsyrek / malc
Make a lambda calculus.
☆85Updated 4 years ago
Alternatives and similar repositories for malc:
Users that are interested in malc are comparing it to the libraries listed below
- ECMAScript back end for Functional Reactive Programming in Agda☆104Updated 7 years ago
- Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp☆117Updated 7 years ago
- ☆137Updated 2 years ago
- A simple Prolog interpreter☆42Updated 3 years ago
- A general purpose programming language with linear types☆44Updated 8 years ago
- Example implementation of Algorithm W for Hindley-Milner type inference☆79Updated 3 years ago
- Write yourself a typed functional language☆65Updated 6 years ago
- Documentation for Concur☆65Updated 10 months ago
- All the Transient libraries☆40Updated 2 weeks ago
- Example uses of monads☆43Updated 6 years ago
- A PureScript interpreter in Haskell☆120Updated 2 years ago
- An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types☆90Updated 2 years ago
- A UI library based on the incremental lambda calculus☆112Updated 6 years ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆214Updated last year
- Trying to get back all the stuff I had in JavaScript.☆69Updated 6 years ago
- An attempt to catalog RowList/RowToList/row type content and memes☆44Updated 6 years ago
- a language about nothing☆19Updated 5 years ago
- What would TEA look like if we had no VDOM?☆69Updated 6 years ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 7 years ago
- https://mitchellwrosen.github.io/haskell-papers☆22Updated 6 years ago
- Dynamic typing in Haskell☆191Updated 5 years ago
- Notes on Category Theory For Programmers by Bartosz Milewski☆55Updated 6 years ago
- TiML: A Functional Programming Language with Time Complexity☆79Updated 7 years ago
- The Makam Metalanguage☆198Updated 2 years ago
- A Haskell API into HTML5 Canvas☆71Updated last month
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 8 years ago
- A parser combinator library based on Parsec☆153Updated last month
- Charity language interpreters and literature☆114Updated 6 years ago
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆67Updated 2 years ago
- Js libraries for idris☆49Updated 5 years ago