con-kitty / categorifier
Interpret Haskell programs into any cartesian closed category.
☆58Updated last month
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 6 months ago
- A library for doing generic programming in Agda☆31Updated 4 years ago
- a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.☆19Updated 10 months ago
- Agda category theory library for denotational design☆50Updated 8 months ago
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- Fine-grained lattice primitives for Haskell☆36Updated 2 weeks ago
- ☆29Updated 2 years ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆55Updated last year
- GHC plugin to branch on whether a constraint is satisfied☆32Updated 2 months ago
- A talk☆28Updated 3 years ago
- A set of utilities for using indexed types including containers, equality, and comparison.☆60Updated last week
- Basics of the dependently-typed functional language Agda ^_^☆39Updated 3 years ago
- Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)☆56Updated 11 months ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated 11 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆29Updated last year
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 2 years ago
- Ideas for the next generation of Haskell's Arrow notation☆12Updated 5 years ago
- Dependently-typed finite maps (partial dependent products)☆65Updated last week
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- ☆18Updated 3 years ago
- Quantitative Type Theory implementation☆54Updated 3 years ago
- Existential type.☆36Updated last month
- rewrite rules for type-level equalities☆62Updated 10 months ago
- A non-interactive proof assistant using the Haskell type system☆36Updated 4 years ago
- Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.☆42Updated 3 months ago
- Example uses of linear types☆43Updated 4 years ago
- Optics via the profunctor representation theorem☆24Updated 2 months ago
- Experimental proof assistant (and architecture) for dependent linear logic☆47Updated 2 years ago