con-kitty / categorifierLinks
Interpret Haskell programs into any cartesian closed category.
☆61Updated last month
Alternatives and similar repositories for categorifier
Users that are interested in categorifier are comparing it to the libraries listed below
Sorting:
- Haskell to C compiler via Categorifier☆34Updated last year
- An efficient graph library for Haskell☆39Updated 3 weeks ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆56Updated last year
- Dependently-typed finite maps (partial dependent products)☆66Updated 4 months ago
- Fine-grained lattice primitives for Haskell☆37Updated last month
- Linear Types, Symmetric Monoidal Categories, and Tensors☆13Updated last year
- ☆29Updated 2 years ago
- Ties the knot on data structures that reference each other by unique keys☆47Updated 10 months ago
- a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.☆21Updated last year
- A library for doing generic programming in Agda☆31Updated 4 years ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- ☆19Updated last month
- A set of utilities for using indexed types including containers, equality, and comparison.☆60Updated this week
- An effect system based on type classes, written in Haskell.☆45Updated 3 years ago
- Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)☆56Updated last year
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- rewrite rules for type-level equalities☆62Updated last year
- Agda category theory library for denotational design☆51Updated last year
- Quantitative Type Theory implementation☆54Updated 4 years ago
- A non-interactive proof assistant using the Haskell type system☆37Updated 5 years ago
- GHC plugin to branch on whether a constraint is satisfied☆33Updated 2 months ago
- Prototype implementations of systems based on setoid type theory☆65Updated 4 years ago
- Ghosts of Departed Proofs☆60Updated 4 years ago
- being a collection of Agda-facilitated ramblings☆33Updated 5 years ago
- ⛏️ A refinement proof framework for haskell☆69Updated 2 years ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Updated 3 years ago
- ☆18Updated 4 years ago
- Agda-style equational reasoning in Haskell☆53Updated 2 months ago
- Haskell bindings to ArrayFire☆60Updated 6 months ago
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 3 years ago