gergoerdi / clash-compucolor2Links
Clash implementation of the Compucolor II home computer
☆32Updated 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:
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆18Updated last week
- Resin: high performance variable binder and ast manipulation lib☆13Updated 6 years ago
- Monad transformers for combining local and global state with backtracking/backjumping/continuations☆20Updated 9 years ago
- Benchmarking Haskell extensible-effect libraries.☆34Updated 5 years ago
- Funny little Haskell impl☆18Updated 5 years ago
- Normalization by Evaluation for Embedded Domain-specific Languages☆31Updated last year
- The Str signature and implementations☆21Updated 8 years ago
- Read and write images as massiv arrays☆13Updated 4 years ago
- ☆16Updated 3 years ago
- Existential type.☆37Updated 10 months ago
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 7 years ago
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆21Updated 2 months ago
- Minimal binary serialization library with focus on performance☆25Updated 3 months ago
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆19Updated 8 months ago
- reverse dependency build matrix generator☆33Updated 5 years ago
- The https://ghc.dev Website Generator☆21Updated last year
- Kleene algebra, regular expressions☆33Updated last year
- Haskell library of row polymorphic record manipulator☆23Updated 5 years ago
- Calculate Haskell dependency ranges from multiple build plans☆31Updated 2 weeks ago
- Hash consing for arbitrary Haskell data types☆25Updated 10 months ago
- Symbol manipulation☆36Updated 2 years ago
- typing haskell in haskell☆18Updated 3 years ago
- Nat, Fin, Vec☆25Updated 6 months ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Updated 7 years ago
- Staged Streams and other stuff☆19Updated 3 years ago
- Overloaded plugin☆31Updated last year
- Experiments using a bidirectional typesystem☆17Updated 3 years ago
- Memory-efficient representation of Unicode text strings☆22Updated 5 months ago
- Continuously varying values, made easy :)☆42Updated 6 years ago
- Haskell Type Level Example Programs☆28Updated 7 years ago