Interpret Haskell programs into any cartesian closed category.
☆69Feb 12, 2026Updated 2 weeks ago
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☆39Dec 15, 2023Updated 2 years ago
- a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.☆21Apr 3, 2024Updated last year
- Overloaded plugin☆31Jun 15, 2024Updated last year
- lazy generators with observation☆14Nov 2, 2023Updated 2 years ago
- Regular expressions of types☆16Sep 13, 2018Updated 7 years ago
- Extensible sums and products for Haskell☆19Feb 22, 2026Updated last week
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 2 years ago
- Compiling to Categories☆458Feb 28, 2024Updated 2 years ago
- Implementation of Dhall in Dhall☆12Feb 12, 2026Updated 2 weeks ago
- 🤳 ignore the differences between `a` and `Identity a`☆25Aug 23, 2019Updated 6 years ago
- Haskell development resources and best practices☆19Dec 3, 2025Updated 2 months ago
- Agda category theory library for denotational design☆57Jan 25, 2026Updated last month
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Jan 7, 2026Updated last month
- A monadic interface for DAG construction.☆24May 11, 2021Updated 4 years ago
- Simple adjunctions☆45Jan 10, 2026Updated last month
- A fast open-union type, suitable for 100+ contained alternatives.☆100Apr 28, 2024Updated last year
- Haskell QuasiQuoter for String Formatting☆70Dec 29, 2025Updated 2 months ago
- Agda to C compiler☆10Sep 23, 2025Updated 5 months ago
- Magic Wormhole for Haskell☆11Apr 23, 2024Updated last year
- Manage Nix Haskell override sets☆11Sep 30, 2018Updated 7 years ago
- Existential witnesses, singletons, and classes for operations on GHC TypeLits☆16Jul 25, 2024Updated last year
- Experiments with linear types☆14Feb 23, 2018Updated 8 years ago
- Genetic program repair using GHC☆33May 16, 2024Updated last year
- Trace the call graph of a Haskell program☆20Mar 17, 2023Updated 2 years ago
- Haskell library of row polymorphic record manipulator☆23Oct 19, 2020Updated 5 years ago
- Source material for Certainty by Construction☆48Jan 20, 2024Updated 2 years ago
- An interface for GHC type-checking plugins☆21Jan 14, 2026Updated last month
- Free categories, free arrows and free categories with monadic actions☆24Mar 4, 2025Updated 11 months ago
- Hedgehog will eat your typeclass bugs☆57Jun 3, 2025Updated 8 months ago
- Convert lambda expressions to CCC combinators☆149Feb 23, 2016Updated 10 years ago
- Types for ldtk☆16Apr 13, 2024Updated last year
- Verified Extraction from Rocq to OCaml/Malfunction☆14May 23, 2025Updated 9 months ago
- deprecated in favor of -XQualifiedDo☆41May 8, 2021Updated 4 years ago
- Libraries and tool for parsing Org Mode documents with customizable exporters. 🦄☆24Dec 12, 2025Updated 2 months ago
- Because Kmett is not expressive enough. You need CoKmett!☆35Oct 29, 2013Updated 12 years ago
- An ambitious Slack JSON export viewer.☆24Sep 18, 2020Updated 5 years ago
- koneko - a concatenative not-quite-lisp for kittens☆25Aug 30, 2024Updated last year
- Symbol manipulation☆37Apr 17, 2023Updated 2 years ago
- Template to effortlessly build math-rich websites☆40Jan 7, 2022Updated 4 years ago