con-kitty / categorifier
Interpret Haskell programs into any cartesian closed category.
☆59Updated 3 months ago
Alternatives and similar repositories for categorifier:
Users that are interested in categorifier are comparing it to the libraries listed below
- Haskell to C compiler via Categorifier☆32Updated last year
- An efficient graph library for Haskell☆39Updated 9 months ago
- a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.☆20Updated last year
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 2 years ago
- Fine-grained lattice primitives for Haskell☆37Updated this week
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Prototype implementations of systems based on setoid type theory☆65Updated 4 years ago
- Agda category theory library for denotational design☆50Updated 11 months ago
- ☆47Updated 5 months ago
- GHC plugin to branch on whether a constraint is satisfied☆33Updated last month
- Paper and talk☆54Updated last year
- being a collection of Agda-facilitated ramblings☆33Updated 4 years ago
- Basics of the dependently-typed functional language Agda ^_^☆39Updated 3 years ago
- rewrite rules for type-level equalities☆62Updated last year
- Idris port of Haskell's sop-core library☆35Updated last year
- Dependently-typed finite maps (partial dependent products)☆66Updated 2 months ago
- ☆29Updated 2 years ago
- Quantitative Type Theory implementation☆54Updated 3 years ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆56Updated last year
- Ghosts of Departed Proofs☆60Updated 4 years ago
- A library for doing generic programming in Agda☆31Updated 4 years ago
- Ties the knot on data structures that reference each other by unique keys☆47Updated 9 months ago
- ☆29Updated 3 months ago
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆72Updated last month
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 3 months ago
- A set of utilities for using indexed types including containers, equality, and comparison.☆60Updated 2 weeks ago
- Formalizing linear algebra in Agda by representing matrices as functions☆26Updated last year
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 9 months ago
- Generic functions for single-sorted first-order structural unification☆44Updated last week
- Agda-style equational reasoning in Haskell☆53Updated last month