ix / lazyboy
An EDSL implemented in Haskell for programming the Nintendo Game Boy.
☆48Updated last year
Alternatives and similar repositories for lazyboy:
Users that are interested in lazyboy are comparing it to the libraries listed below
- Compiler for the Rum language☆26Updated 5 years ago
- A [ functional stack ] based language.☆28Updated last year
- A self-hosting mini Haskell compiler with a mini C runtime.☆74Updated 5 years ago
- Small library for braillizing images☆18Updated 5 years ago
- 🧠 Type-safe memory units☆61Updated 4 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 3 months ago
- Generate NetHack configurations using Dhall☆36Updated 3 years ago
- A simple, purely-functional programming language☆24Updated 2 years ago
- The LC3 virtual machine☆23Updated 2 months ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 6 years ago
- NanoVG Haskell bindings☆22Updated last year
- Merged into ian repo: https://github.com/seagreen/ian#llvm-in-haskell☆17Updated 5 years ago
- Package manager for Idris☆35Updated 2 years ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- A dependent type theory with user defined data types☆46Updated 3 years ago
- Interpreter for GHC Haskell☆22Updated 5 years ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 2 years ago
- A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.☆25Updated 2 years ago
- ☆53Updated 4 years ago
- Absal ex☆56Updated last year
- A CHIP-8 Emulator written in Haskell☆38Updated 7 years ago
- JHC Haskell compiler split into reusable components☆57Updated 6 years ago
- Sonic the Hedgehog 2 in Haskell☆67Updated 3 years ago
- Write yourself a typed functional language☆65Updated 6 years ago
- compile your own functional language☆36Updated 5 years ago
- dependently-typed lisp with flexible compiler backends☆28Updated 5 years ago
- 💄🐞 Combinators for writing pretty type errors easily☆55Updated 2 years ago
- Source repository for https://hackage.haskell.org/package/language-c☆87Updated 3 months ago