gergoerdi / clash-compucolor2Links
Clash implementation of the Compucolor II home computer
☆31Updated 3 years ago
Alternatives and similar repositories for clash-compucolor2
Users that are interested in clash-compucolor2 are comparing it to the libraries listed below
Sorting:
- ScopeT and ScopeH☆13Updated last year
- Existential type.☆37Updated 8 months ago
- Overloaded plugin☆30Updated last year
- Minimal binary serialization library with focus on performance☆25Updated last month
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆18Updated 5 months ago
- Normalization by Evaluation for Embedded Domain-specific Languages☆31Updated 10 months ago
- Staged Streams and other stuff☆19Updated 3 years ago
- A simple tool for visualising differences in Criterion benchmark results☆14Updated 4 months ago
- Funny little Haskell impl☆18Updated 4 years ago
- Continuously varying values, made easy :)☆42Updated 5 years ago
- Omit fields for instance deriving☆37Updated 5 years ago
- reverse dependency build matrix generator☆33Updated 4 years ago
- Haskell library of row polymorphic record manipulator☆23Updated 4 years ago
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 6 years ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆34Updated 3 years ago
- GHC plugin to desugar ! into do-notation☆37Updated 5 months ago
- ICFP tutorial☆39Updated 4 years ago
- Symbol manipulation☆36Updated 2 years ago
- Nat, Fin, Vec☆25Updated 4 months ago
- Monad transformers for combining local and global state with backtracking/backjumping/continuations☆20Updated 9 years ago
- A GHC plugin and library for analysing GHC Core☆54Updated 6 months ago
- The Str signature and implementations☆21Updated 8 years ago
- Read and write images as massiv arrays☆13Updated 3 years ago
- Flexible Haskell library for parsing and printing S-Expressions☆20Updated 10 months ago
- Normalise GHC.TypeLits.Nat equations☆43Updated last week
- Keep your laziness in check!☆33Updated this week
- An interface for GHC type-checking plugins☆21Updated this week
- rewrite rules for type-level equalities☆62Updated last year
- Derive KnownNat constraints from other KnownNat constraints☆14Updated 5 months ago
- Standard module for type-level programming in Haskell☆30Updated 6 years ago