dpwright / z80
A Z80 assembler embedded in Haskell
☆16Updated last year
Related projects ⓘ
Alternatives and complementary repositories for z80
- Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH☆47Updated last year
- Continuously varying values, made easy :)☆40Updated 5 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 7 months ago
- Deep embedding of imperative programs with code generation☆23Updated 2 years ago
- Haskell combinators for executing IO actions in parallel on a thread pool☆47Updated last year
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- A monad for managed values☆50Updated last year
- An mtl-style typeclass and transformer for persistent☆11Updated 6 years ago
- An extension to Data.Serialize with built-in version control☆60Updated 6 months ago
- Automatically trace all (showable) binds in do expressions☆84Updated 6 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- haskell memory☆48Updated last year
- Quake 3 map viewer written in Haskell☆34Updated 7 years ago
- Zippers based on lenses and traversals☆38Updated last year
- Describe Haskell code in GHCi☆72Updated 7 years ago
- MPFR bindings for Haskell☆34Updated last year
- Example of embedding Servant within a Yesod Application☆15Updated 8 years ago
- A nice Haskell graphics API. There's always room for jello.☆41Updated 6 years ago
- Generic types and functions for encoding and decoding columns☆43Updated 2 weeks ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 4 years ago
- Lens interface for your filesystem☆22Updated 3 years ago
- JHC Haskell compiler split into reusable components☆16Updated 2 years ago
- Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.☆52Updated last year
- An alternate definition of Haskell's Functor typeclass☆42Updated 5 years ago
- Signature inference for Functional Property Discovery in Haskell☆36Updated 7 years ago
- Paris Functional Programming Meetup☆27Updated 4 years ago
- A total recursion scheme library for Dhall☆65Updated last week
- oleg modules☆30Updated 11 years ago