sjsyrek / malc
Make a lambda calculus.
☆86Updated 4 years ago
Alternatives and similar repositories for malc:
Users that are interested in malc are comparing it to the libraries listed below
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 7 years ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆212Updated last year
- A PureScript interpreter in Haskell☆119Updated 2 years ago
- Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"☆129Updated 4 years ago
- Example implementation of Algorithm W for Hindley-Milner type inference☆77Updated 2 years ago
- A parser combinator library based on Parsec☆151Updated last month
- An attempt to catalog RowList/RowToList/row type content and memes☆44Updated 5 years ago
- Example uses of monads☆43Updated 5 years ago
- source code for the bondi programming language☆38Updated 5 years ago
- A drawing engine in Haskell☆140Updated 3 years ago
- A lightweight, fast and unintrusive PureScript file-watcher☆134Updated 9 months ago
- Documentation for Concur☆66Updated 5 months ago
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Updated 4 years ago
- Trying to get back all the stuff I had in JavaScript.☆70Updated 6 years ago
- What I Wish I Knew When Learning PureScript☆108Updated 4 years ago
- Purely functional UI library powered by FRP.☆82Updated 4 years ago
- Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp☆117Updated 7 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 7 years ago
- Generate Haskell code from a type☆129Updated last year
- The Disco Discus Compiler☆174Updated 5 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 3 years ago
- PureScript UI framework based on lenses.☆122Updated 8 years ago
- A magic typeclass that just does it☆124Updated 2 years ago
- A prolog interpreter written in Haskell.☆61Updated 9 years ago
- ECMAScript back end for Functional Reactive Programming in Agda☆103Updated 7 years ago
- Error/Warning reporting frontend for the PureScript compiler☆90Updated 4 months ago
- optics for Haskell with the most amazing type errors you've seen☆243Updated 4 years ago
- small programming language. pls be gentle.☆39Updated last month
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- Plugin for formatting Haskell source code☆40Updated 4 years ago