levex / haskell-doom
doom
☆17Updated 8 years ago
Alternatives and similar repositories for haskell-doom:
Users that are interested in haskell-doom are comparing it to the libraries listed below
- A CHIP-8 Emulator written in Haskell☆38Updated 7 years ago
- Haskell implementation of Notch's dcpu-16 specification (assembler, emulator)☆42Updated 12 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 3 months ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- A little Doom-like 2.5 game engine☆82Updated 10 years ago
- Interpreter for functional pure type systems.☆21Updated 7 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- Universal Register Machine implemented at the type-level of Haskell☆23Updated 8 years ago
- Lens interface for your filesystem☆22Updated 4 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- A natural transformation package☆16Updated 3 months ago
- A simple ML dialect☆11Updated 8 years ago
- a simple functional language for learners☆30Updated 8 years ago
- compile your own functional language☆36Updated 5 years ago
- ☆13Updated 3 years ago
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- Stacks and queues with compact representations☆16Updated 4 years ago
- Vector & affine spaces, linear maps, and derivatives☆47Updated 6 months ago
- A package re-exporting the verified subset of containers☆20Updated 6 years ago
- An alternate definition of Haskell's Functor typeclass☆42Updated 5 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 7 years ago
- Alternative Core language for GHC plugins☆39Updated 9 years ago
- Build tool for ATS.☆41Updated 2 years ago
- Pure Haskell implementation of SplitMix pseudo-random number generator☆25Updated 2 months ago
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago
- Deriving Storable instances using GHC.Generics☆16Updated 2 years ago
- ☆13Updated 8 years ago
- A tiny statically typed programming language☆18Updated 10 years ago
- phantom types☆38Updated 2 weeks ago
- Auto-parallelizing Pure Functional Language☆27Updated 5 years ago