con-kitty / categorifierLinks
Interpret Haskell programs into any cartesian closed category.
☆62Updated 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
- Agda category theory library for denotational design☆51Updated last year
- 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
- Automatic piecewise-mutable references for your types☆42Updated 5 years ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆56Updated last year
- GHC plugin to branch on whether a constraint is satisfied☆33Updated 3 months ago
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 3 years ago
- Linear Types, Symmetric Monoidal Categories, and Tensors☆13Updated last year
- Fine-grained lattice primitives for Haskell☆37Updated last week
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- An effect system based on type classes, written in Haskell.☆45Updated 3 years ago
- A talk☆28Updated 4 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 5 months ago
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆72Updated last month
- Named parameters (keyword arguments) for Haskell☆95Updated 3 months ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated last year
- Ghosts of Departed Proofs☆60Updated 4 years ago
- rewrite rules for type-level equalities☆62Updated last year
- Ties the knot on data structures that reference each other by unique keys☆47Updated 11 months ago
- Many-dimensional type-safe numeric ops☆46Updated 3 years ago
- Haskell QuasiQuoter for String Formatting☆69Updated 5 months ago
- Pre-processor for .hsc files☆41Updated 2 weeks ago
- a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.☆21Updated last year
- Dependently-typed finite maps (partial dependent products)☆66Updated 5 months ago
- Fast equality saturation in Haskell☆84Updated 4 months ago
- ☆30Updated last week
- Idris port of Haskell's sop-core library☆36Updated last month
- classical sequent calculus, embedded in Haskell☆20Updated 3 years ago
- Ideas for the next generation of Haskell's Arrow notation☆12Updated 5 years ago