con-kitty / categorifier
Interpret Haskell programs into any cartesian closed category.
☆57Updated 3 months ago
Related projects: ⓘ
- Haskell to C compiler via Categorifier☆29Updated 9 months ago
- An efficient graph library for Haskell☆39Updated last month
- A set of utilities for using indexed types including containers, equality, and comparison.☆60Updated 3 weeks ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆54Updated 9 months ago
- An effect system based on type classes, written in Haskell.☆44Updated 2 years ago
- Dependently-typed finite maps (partial dependent products)☆63Updated 3 months ago
- Normalise GHC.TypeLits.Nat equations☆43Updated 3 months ago
- Fine-grained lattice primitives for Haskell☆35Updated last month
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- Agda category theory library for denotational design☆48Updated 3 months ago
- A library for doing generic programming in Agda☆28Updated 3 years ago
- Ties the knot on data structures that reference each other by unique keys☆47Updated last month
- Go get tested! Github Actions matrix generator for your haskell projects☆44Updated this week
- Compile Dhall expressions to Cabal files☆100Updated last year
- Ideas for the next generation of Haskell's Arrow notation☆12Updated 4 years ago
- Quantitative Type Theory implementation☆54Updated 3 years ago
- Haskell QuasiQuoter for String Formatting☆66Updated 4 months ago
- Example uses of linear types☆42Updated 4 years ago
- Bidirectional programming in Haskell with monadic profunctors☆44Updated 2 years ago
- Haskell embedding of PlusCal☆59Updated 2 years ago
- Basics of the dependently-typed functional language Agda ^_^☆37Updated 2 years ago
- ☆85Updated this week
- Many-dimensional type-safe numeric ops☆46Updated 2 years ago
- GHC plugin to branch on whether a constraint is satisfied☆30Updated last year
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆73Updated 2 months ago
- Haskell monad transformer for weighted, non-deterministic computation☆28Updated 9 months ago
- ☆51Updated this week
- Optics via the profunctor representation theorem☆23Updated 2 years ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆56Updated last year
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago