jaspervdj / dcpu16-hsLinks
Haskell implementation of Notch's dcpu-16 specification (assembler, emulator)
☆42Updated 13 years ago
Alternatives and similar repositories for dcpu16-hs
Users that are interested in dcpu16-hs are comparing it to the libraries listed below
Sorting:
- ☆41Updated 7 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- An alternate definition of Haskell's Functor typeclass☆42Updated 6 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 6 months ago
- Build tool for ATS.☆41Updated 3 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- Safe, programmable, speculative evaluation for Haskell☆29Updated 6 years ago
- Automatic type class law checking.☆24Updated 5 months ago
- Helpers which allow safe partial pattern matching in lambdas☆31Updated 4 years ago
- ☆11Updated 9 years ago
- A package re-exporting the verified subset of containers☆20Updated 7 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 8 months ago
- ☆14Updated 7 years ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- An implementation of the Core language☆30Updated 9 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- A general purpose programming language with linear types☆43Updated 8 years ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- System F implemented in Haskell☆24Updated 13 years ago
- A fast globally unique variable supply with a pure API☆19Updated 2 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 7 years ago
- Idris tactics for (commutative) monoids☆20Updated 5 years ago
- A faster date and time library based on time☆47Updated 5 months ago
- An OS written in Idris (eventually...)☆20Updated 10 years ago
- ICFP tutorial☆39Updated 3 years ago
- A convenient DSL for describing web routes☆42Updated 4 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- Reasonable Haskell default import☆27Updated 2 years ago
- Standard module for type-level programming in Haskell☆30Updated 5 years ago
- Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.☆24Updated 7 years ago