gergoerdi / clash-compucolor2Links
Clash implementation of the Compucolor II home computer
☆32Updated 4 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:
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆18Updated last week
- Funny little Haskell impl☆18Updated 5 years ago
- ScopeT and ScopeH☆13Updated last year
- Normalization by Evaluation for Embedded Domain-specific Languages☆31Updated last year
- Existential type.☆37Updated last year
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Updated 7 years ago
- Monad transformers for combining local and global state with backtracking/backjumping/continuations☆20Updated 9 years ago
- Overloaded plugin☆31Updated last year
- The Str signature and implementations☆21Updated 8 years ago
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 7 years ago
- Staged Streams and other stuff☆19Updated 3 years ago
- GHC plugin to desugar ! into do-notation☆38Updated 10 months ago
- Hash consing for arbitrary Haskell data types☆25Updated last year
- Nat, Fin, Vec☆25Updated 8 months ago
- Resin: high performance variable binder and ast manipulation lib☆13Updated 7 years ago
- Benchmarking Haskell extensible-effect libraries.☆34Updated 5 years ago
- Read and write images as massiv arrays☆13Updated 4 years ago
- Derive KnownNat constraints from other KnownNat constraints☆14Updated this week
- Demonstration for how to build "traverse" using GHC.Generics efficiently☆22Updated 7 years ago
- Minimal binary serialization library with focus on performance☆25Updated 6 months ago
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆20Updated 10 months ago
- Continuously varying values, made easy :)☆42Updated 6 years ago
- Keep your laziness in check!☆35Updated 3 weeks ago
- Types for ldtk☆16Updated last year
- ICFP tutorial☆39Updated 4 years ago
- Haskell library of row polymorphic record manipulator☆23Updated 5 years ago
- Haskell implementation of interaction net-based lambda evaluation☆21Updated 9 years ago
- Flexible Haskell library for parsing and printing S-Expressions☆21Updated last year
- Kleene algebra, regular expressions☆33Updated 2 years ago
- ☆16Updated 4 years ago