ix / lazyboy
An EDSL implemented in Haskell for programming the Nintendo Game Boy.
☆49Updated last year
Related projects ⓘ
Alternatives and complementary repositories for lazyboy
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- Compiler for the Rum language☆25Updated 5 years ago
- A simple, purely-functional programming language☆24Updated 2 years ago
- Absal ex☆55Updated last year
- A dependent type theory with user defined data types☆45Updated 3 years ago
- Build tool for ATS.☆41Updated 2 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆47Updated 2 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆34Updated 2 weeks ago
- a functional programming language with algebraic effects and handlers☆81Updated 2 years ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- NES programming in Haskell? No way!☆38Updated 8 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- A Haskell implementation of the Formality language☆18Updated 4 years ago
- Package manager for Idris☆35Updated 2 years ago
- Inigo: A Package Manager for Idris2☆61Updated 2 years ago
- NanoVG Haskell bindings☆22Updated last year
- Implementation of Martin-Löf Type Theory in Haskell☆16Updated 8 years ago
- An Atari VCS 2600 emulator written in Haskell☆18Updated 2 years ago
- A library for inserting clap emoji into strings☆25Updated 5 years ago
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- joke page until I decide what to do with this domain name☆34Updated 3 months ago
- My attempt at writing a R⁵RS-compliant Scheme with Megaparsec☆15Updated 9 months ago
- JHC Haskell compiler split into reusable components☆58Updated 5 years ago
- A nano "theorem prover".☆61Updated 5 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Compact regions library for Haskell☆82Updated 4 months ago
- Session Types with Priority in Linear Haskell☆25Updated 4 months ago