isovector / circuitry
the missing haskell circuit diagram library
☆13Updated 3 years ago
Alternatives and similar repositories for circuitry:
Users that are interested in circuitry are comparing it to the libraries listed below
- Dependently typed elimination functions using singletons☆28Updated last month
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆17Updated 3 months ago
- Reasonable Haskell default import☆27Updated 2 years ago
- A collection of ready-to-use Prometheus Metrics to monitor your Haskell application☆13Updated 5 months ago
- Visualization of Haskell data structures☆15Updated 11 months ago
- Invertible parsing for S-expressions☆33Updated 4 months ago
- ☆23Updated 7 years ago
- Interval Arithmetic☆27Updated last week
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 5 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- Zippers for cofree types☆12Updated 3 years ago
- Order theory☆23Updated last year
- 🔖 Better Haskell documentation.☆17Updated 4 years ago
- Bring fusion to everyone☆13Updated 4 years ago
- Safe web routing in haskell☆30Updated last year
- A small profunctor library for idris☆17Updated 2 years ago
- ListT done right☆15Updated last year
- Experiments with linear types☆14Updated 6 years ago
- Simple comparative benchmarks for CSV parsing libraries☆17Updated 6 years ago
- Simple testing toolkit☆11Updated 3 years ago
- Structured logging solution.☆35Updated last year
- Haskell streaming library optimized for low CPU and GC overhead☆16Updated 6 years ago
- Tools for functors from Hask^k to Hask☆23Updated 5 years ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated last month
- Funny little Haskell impl☆18Updated 4 years ago
- Fixed length vector for haskell☆21Updated 3 weeks ago
- the dynabook but for haskell☆23Updated 5 years ago
- Use network sockets together with the Haskell pipes library.☆24Updated 2 years ago
- Haskell data types and functions for countries☆27Updated last month