con-kitty / categorifier
Interpret Haskell programs into any cartesian closed category.
☆57Updated this week
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☆29Updated last year
- A library for doing generic programming in Agda☆31Updated 3 years ago
- An efficient graph library for Haskell☆39Updated 5 months ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- A set of utilities for using indexed types including containers, equality, and comparison.☆59Updated last month
- Bidirectional programming in Haskell with monadic profunctors☆44Updated 2 years ago
- a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.☆19Updated 9 months ago
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆28Updated last year
- Fine-grained lattice primitives for Haskell☆35Updated 2 weeks ago
- Ghosts of Departed Proofs☆60Updated 4 years ago
- Example uses of linear types☆43Updated 4 years ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆55Updated last year
- Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)☆56Updated 9 months ago
- Automatic piecewise-mutable references for your types☆43Updated 4 years ago
- Category theory formalized in cubical agda☆21Updated 4 years ago
- Generic functions for single-sorted first-order structural unification☆41Updated 2 weeks ago
- A talk☆28Updated 3 years ago
- Normalise GHC.TypeLits.Nat equations☆43Updated 7 months ago
- rewrite rules for type-level equalities☆62Updated 8 months ago
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆49Updated last month
- Ideas for the next generation of Haskell's Arrow notation☆12Updated 5 years ago
- Agda category theory library for denotational design☆51Updated 7 months ago
- Tactic Metaprogramming in Haskell☆57Updated 5 years ago
- Ties the knot on data structures that reference each other by unique keys☆47Updated 5 months ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 5 months ago
- Session types framework with support of protocol pipelining.☆15Updated last week
- Prototype implementations of systems based on setoid type theory☆65Updated 4 years ago
- Existential type.☆36Updated 3 weeks ago