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
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 6 months ago
- An alternate definition of Haskell's Functor typeclass☆42Updated 5 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆34Updated 2 weeks ago
- Helpers which allow safe partial pattern matching in lambdas☆31Updated 4 years ago
- Build tool for ATS.☆41Updated 2 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- Automatic type class law checking.☆24Updated 11 months ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- Haskell library for efficiently building up buffers☆26Updated 3 months ago
- Fixed length vector for haskell☆21Updated 7 months ago
- complexity testing for haskell☆47Updated 8 years ago
- lazy promises☆27Updated 3 years ago
- Omit fields for instance deriving☆37Updated 4 years ago
- Playing with https://github.com/ekmett/machines☆51Updated 7 years ago
- Nat, Fin, Vec☆24Updated this week
- A truly tiny monadic parsing library☆28Updated 3 years ago
- Jhc: Haskell Compiler☆35Updated 9 years ago
- Continuously varying values, made easy :)☆40Updated 5 years ago
- http://www.reddit.com/r/haskell/comments/cr15z/visualprof_profiles_your_haskell_program_and/?sort=hot☆59Updated 9 years ago
- A tiny statically typed programming language☆18Updated 10 years ago
- Signature inference for Functional Property Discovery in Haskell☆36Updated 7 years ago
- Open records for Haskell☆22Updated 7 years ago
- Minimal binary serialization library with focus on performance☆17Updated 3 years ago
- MPFR bindings for Haskell☆33Updated last year
- Dual Traversable☆41Updated last year
- Support for file uploads in multipart/form-data for servant☆40Updated 5 months ago
- Cross-compilation framework based on the Shake Haskell library.☆28Updated 3 years ago
- Haskus packages☆24Updated 2 weeks ago
- An applicative monad that batches commands for later more efficient execution☆27Updated 6 years ago