bitc / omegagbLinks
Emulator for Nintendo Game Boy, written in Haskell, partially working
☆23Updated 14 years ago
Alternatives and similar repositories for omegagb
Users that are interested in omegagb are comparing it to the libraries listed below
Sorting:
- The theme for LD31 was "Entire Game on One Screen"☆29Updated 8 years ago
- Classic games recreated in netwire☆95Updated 8 years ago
- An OS written in Idris (eventually...)☆20Updated 10 years ago
- Build tool for ATS.☆42Updated 3 years ago
- A little Doom-like 2.5 game engine☆85Updated 10 years ago
- Compiler for the Rum language☆26Updated 6 years ago
- compile your own functional language☆36Updated 6 years ago
- Translate Pascal into Haskell☆51Updated 6 years ago
- Dependently typed Algorithm M and friends☆25Updated 7 years ago
- Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.☆24Updated 7 years ago
- Experiments in Idris / Unity integration.☆49Updated 9 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 10 months ago
- Type-safe library for generating haskell source code☆28Updated 7 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- Compact regions library for Haskell☆82Updated last year
- Simple lambda prover☆24Updated 10 years ago
- Example repository setup that deploys GHCJS programs to GitHub Pages☆23Updated 6 years ago
- ☆27Updated 6 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 7 years ago
- A MOBA written using Haskell, Yampa, and SDL☆27Updated 10 years ago
- Monorepo for a multi-player game engine, and game examples☆42Updated 3 years ago
- Playing with https://github.com/ekmett/machines☆51Updated 8 years ago
- A Drum Machine DSL for Haskell☆95Updated 6 years ago
- 2D physics and rendering for apecs☆45Updated 6 years ago
- An alternate definition of Haskell's Functor typeclass☆42Updated 6 years ago
- A Dockerfile to build a development environment for Android version of Epidemic.☆31Updated 9 years ago
- Haskell library for efficiently building up buffers☆26Updated 9 months ago
- A Haskell-only implementation of zlib / DEFLATE.☆31Updated 3 years ago
- Hopefully verifiable code generation in GHC☆94Updated 8 years ago
- Haskell library containing isotopic masses and relative abundances for elements from Hydrogen to Bismuth and Thorium and Uranium (excludi…☆16Updated 6 years ago