evincarofautumn / hap-hs
Haskell [re]implementation of Hap, a simple event-based programming language.
☆12Updated 4 years ago
Related projects: ⓘ
- A SKI combinators interpreter written in assembly☆17Updated 4 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 3 months ago
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Updated 9 years ago
- Pure relational SKI combinator calculus interpreter.☆10Updated 7 years ago
- ☆14Updated this week
- ☆12Updated 3 years ago
- An extended typed Lambda Calculus☆20Updated last month
- A small NuPRL style proof assistant☆32Updated 5 years ago
- Constraint Handling Rules☆14Updated 2 years ago
- ☆21Updated 4 years ago
- Untyped Concatenative Calculus☆19Updated 2 years ago
- Interpreter for Joy in Haskell using extensible-effects☆34Updated 7 years ago
- Your happy place for learning APL☆16Updated last year
- A simple λProlog interpreter☆19Updated 2 years ago
- An experimental implementation of a tiny ML-like language using an embedded custom expander (WIP, currently just System F core language)☆21Updated 5 years ago
- A proof that Idris is pacman complete☆8Updated 6 years ago
- A categorical semantics library in Agda.☆17Updated 4 years ago
- translations of a lambda abstraction to combinations of operators☆17Updated 5 years ago
- ☆20Updated this week
- Yoneda lemma in every known language☆17Updated last year
- Implementation of Quantitative Type Theory (in TypeScript)☆11Updated 3 years ago
- ☆25Updated this week
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆19Updated 2 years ago
- A Dependently Typed Esolang☆10Updated 7 years ago
- File format and optimizer for programs encoded in binary lambda calculus☆11Updated 7 months ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆38Updated 3 years ago
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- A small language to demo turning an interpreter into a compiler☆11Updated 7 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆23Updated 10 years ago