isovector / circuitryLinks
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
Sorting:
- Dependently typed elimination functions using singletons☆28Updated 5 months ago
- Reasonable Haskell default import☆27Updated 2 years ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆18Updated 4 months ago
- ☆23Updated 7 years ago
- Visualization of Haskell data structures☆16Updated last year
- open union and open product types in Haskell☆32Updated 4 years ago
- Simple comparative benchmarks for CSV parsing libraries☆17Updated 6 years ago
- Simple testing toolkit☆10Updated 4 years ago
- A collection of ready-to-use Prometheus Metrics to monitor your Haskell application☆13Updated 10 months ago
- 🌋 Idris implementation of patricia tree☆23Updated 4 years ago
- Benchmarking tool with focus on comparing results.☆16Updated 9 months ago
- Closure calculus implementation☆12Updated 6 years ago
- ☆44Updated 3 months ago
- static analysis of free monads☆24Updated 6 years ago
- My personal web site☆17Updated 3 months ago
- 🔖 Better Haskell documentation.☆17Updated 4 years ago
- Benchmarks for numbers: ints, doubles, bignums, rationals, etc.☆20Updated 8 years ago
- Finitely represented /total/ maps☆17Updated 5 years ago
- Use network sockets together with the Haskell pipes library.☆25Updated 3 years ago
- Safe web routing in haskell☆30Updated 2 years ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 5 years ago
- Declare that a typeclass instance should not exist.☆11Updated last year
- Proof combinators used in Liquid Haskell for theorem proving☆12Updated 7 years ago
- Directed rounding and interval arithmetics with builtin floating types☆11Updated 3 years ago
- Type safe JSON PostgreSQL queries using bidirectional serializers☆21Updated 4 years ago
- Haskell Package for operating with selections over an underlying functor☆22Updated 4 years ago
- Invertible parsing for S-expressions☆34Updated 2 months ago
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆13Updated 8 months ago
- the dynabook but for haskell☆23Updated 5 years ago
- ☆23Updated 7 years ago