cchalmers / circuit-notation
A plugin for circuit notation
☆11Updated 3 months ago
Alternatives and similar repositories for circuit-notation:
Users that are interested in circuit-notation are comparing it to the libraries listed below
- Automation for releasing haskell packages☆18Updated last year
- experiments with SQL & Haskell☆13Updated 3 years ago
- Haskell counters that can be safely incremented from multiple threads☆19Updated 2 months ago
- An implementation of first-class pattern matches in Haskell.☆13Updated 4 years ago
- An Android app to browse GitHub repositories☆12Updated 4 months ago
- Read and write images as massiv arrays☆13Updated 3 years ago
- Linear Types, Symmetric Monoidal Categories, and Tensors☆11Updated last year
- Types for ldtk☆14Updated 10 months ago
- Extensible sums and products for Haskell☆19Updated last year
- Funny little Haskell impl☆18Updated 4 years ago
- Boring and Absurd types☆17Updated 2 months ago
- Extensible type-safe unions for Haskell☆33Updated 5 months ago
- Efficient non-empty variants of containers data types, with full API☆25Updated 7 months ago
- Non-empty Vectors☆24Updated 2 months ago
- Cursor data and manipulation☆21Updated last year
- A monad transformer designed for `MonadFail`☆12Updated 2 years ago
- Use tests to monitor changes in Aeson serialization☆18Updated 6 months ago
- Overloaded plugin☆30Updated 8 months ago
- Experimental fork of ghcide which is reimplemented using the FRP library reflex☆17Updated 3 years ago
- Deriving Storable instances using GHC.Generics☆16Updated 2 years ago
- Example to illustrate how to set up incremental Haskell Nix builds☆29Updated 2 years ago
- 🤳 ignore the differences between `a` and `Identity a`☆25Updated 5 years ago
- GHC plugin to branch on whether a constraint is satisfied☆33Updated 3 months ago
- A monadic interface for DAG construction.☆24Updated 3 years ago
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆17Updated this week
- Sift through Haskell code for analysis purposes☆18Updated 6 years ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆17Updated 3 months ago
- ☆20Updated 2 years ago
- Haskell library of row polymorphic record manipulator☆19Updated 4 years ago
- There are many category theory implementations, but this one is mine☆15Updated 6 months ago