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
- A self-hosting mini Haskell compiler with a mini C runtime.β74Updated 5 years ago
- π§ Type-safe memory unitsβ61Updated 4 years ago
- Compiler for the Rum languageβ26Updated 5 years ago
- theseus, functional programming language with fully reversible computationβ121Updated 5 years ago
- The compilation target that functional programmers always wanted.β62Updated 4 years ago
- Source repository for https://hackage.haskell.org/package/language-cβ87Updated 3 weeks ago
- A simple, purely-functional programming languageβ24Updated 2 years ago
- β53Updated 4 years ago
- Play 2048 from the command line /terminal !β42Updated 7 years ago
- A [ functional stack ] based language.β29Updated last year
- Small library for braillizing imagesβ18Updated 5 years ago
- A two-dimensional parser combinator library.β41Updated 7 years ago
- Kempe is a compiled stack-based languageβ58Updated 5 months ago
- A CHIP-8 Emulator written in Haskellβ38Updated 7 years ago
- NES programming in Haskell? No way!β38Updated 9 years ago
- A Haskell implementation of the Formality languageβ18Updated 5 years ago
- LaTeX sources for the Habit Programming Language Reportβ24Updated 6 years ago
- Simple, elegant, profunctorial, applicative validation for product types!β19Updated 3 years ago
- Oleg Kiselyov's zipper-based file-server/OSβ24Updated 4 years ago
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-systemβ84Updated 7 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effectsβ35Updated 5 months ago
- Absal exβ57Updated last year
- a self-hosting lambda calculus compilerβ35Updated 3 years ago
- Bit vectors: 8x less memory, up to 3500x faster than Vector Boolβ72Updated 2 months ago
- Build tool for ATS.β41Updated 2 years ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primariβ¦β59Updated 4 years ago
- A usable type system for call by push-valueβ33Updated 5 years ago
- Lambda Calculus with quote and unquoteβ19Updated 4 years ago
- NanoVG Haskell bindingsβ22Updated last year
- Automatic piecewise-mutable references for your typesβ42Updated 4 years ago