jaspervdj / dcpu16-hs
Haskell implementation of Notch's dcpu-16 specification (assembler, emulator)
☆42Updated 12 years ago
Related projects ⓘ
Alternatives and complementary repositories for dcpu16-hs
- ☆41Updated 7 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- An alternate definition of Haskell's Functor typeclass☆42Updated 5 years ago
- ICFP tutorial☆40Updated 3 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆34Updated 3 weeks ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 7 months ago
- A general purpose programming language with linear types☆44Updated 7 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- Lens interface for your filesystem☆22Updated 3 years ago
- ☆39Updated 4 years ago
- Helpers which allow safe partial pattern matching in lambdas☆31Updated 4 years ago
- Layout data in grids and pretty tables. Provides a lot of tools to get the cell formatting right (positional alignment, alignment on spec…☆38Updated 4 months ago
- A package re-exporting the verified subset of containers☆20Updated 6 years ago
- A copy of Daan Leijen's reference implementation of HMF (type inference)☆16Updated 8 years ago
- Omit fields for instance deriving☆37Updated 4 years ago
- pure type system language - henk 2000 ported to megaparsec, pretty☆21Updated 9 years ago
- Automatic type class law checking.☆24Updated 11 months ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- Continuously varying values, made easy :)☆40Updated 5 years ago
- Small programs with unknown halting status.☆12Updated 8 years ago
- Run a program as a daemon☆5Updated 3 years ago
- ☆39Updated 3 months ago
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- A toy Parser+Compiler+Typechecker☆12Updated last year
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- compile your own functional language☆36Updated 5 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆24Updated 5 years ago