Haskell library for doing category theory with a central role for profunctors
☆24Feb 27, 2026Updated this week
Alternatives and similar repositories for proarrow
Users that are interested in proarrow are comparing it to the libraries listed below
Sorting:
- ☆10Mar 2, 2021Updated 5 years ago
- Haskell Profunctor Optics experiments☆15Sep 23, 2021Updated 4 years ago
- Library to perform batches of asynchronous disk IO operations. Implemented using Linux io_uring API.☆19Feb 16, 2026Updated 2 weeks ago
- Free categories, free arrows and free categories with monadic actions☆24Mar 4, 2025Updated last year
- ⛏️ A refinement proof framework for haskell☆71May 8, 2023Updated 2 years ago
- Distributors - Unifying Parsers, Printers & Grammars☆64Feb 26, 2026Updated last week
- Library of categories, with categorical constructions on them☆59Aug 12, 2023Updated 2 years ago
- Simple network runner library in Haskell☆11Nov 19, 2025Updated 3 months ago
- Haskell implementation of open games☆13Apr 20, 2016Updated 9 years ago
- Icicle Streaming Query Language☆28Jan 20, 2026Updated last month
- ☆14Nov 4, 2025Updated 4 months ago
- Zippers for cofree types☆14Dec 7, 2021Updated 4 years ago
- A library encoding monoidal functors and related structures in Haskell.☆19Aug 28, 2025Updated 6 months ago
- Visualization of Haskell data structures☆16Feb 13, 2024Updated 2 years ago
- Syntax for Virtual Equipments: a natural syntax for doing synthetic and internal category theory☆32Apr 29, 2023Updated 2 years ago
- 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
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆12May 13, 2025Updated 9 months ago
- Linear Types, Symmetric Monoidal Categories, and Tensors☆13Oct 14, 2025Updated 4 months ago
- ☆19Aug 4, 2025Updated 7 months ago
- Category theory concepts in type classes and instances.☆23Feb 12, 2026Updated 3 weeks ago
- Show, plot and compare benchmark results☆16Oct 28, 2025Updated 4 months ago
- There are many category theory implementations, but this one is mine☆16Aug 22, 2024Updated last year
- An interpreted lambda calculus with Algebraic and Recursive Types.☆20Jul 13, 2021Updated 4 years ago
- A natural transformation package☆16Jan 8, 2026Updated last month
- Haskell development resources and best practices☆19Dec 3, 2025Updated 3 months ago
- Idris GraphQL☆16Dec 16, 2017Updated 8 years ago
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆15Feb 26, 2024Updated 2 years ago
- Hacking synthetic Tait computability into Agda. Example: canonicity for MLTT.☆20Feb 26, 2021Updated 5 years ago
- eXtensible Component Verifier and Builder for Common-Lisp (mirrored from Common-Lisp.net) https://gitlab.common-lisp.net/xcvb/xcvb☆38Dec 24, 2020Updated 5 years ago
- Yoneda lemma in every known language☆17Mar 10, 2023Updated 2 years ago
- A toy dependent typed language.☆46Updated this week
- Directed type theory for formal category theory☆17Apr 7, 2017Updated 8 years ago
- ☆50Oct 2, 2025Updated 5 months ago
- A toolkit for higher-dimensional diagram rewriting.☆18Sep 15, 2022Updated 3 years ago
- classical sequent calculus, embedded in Haskell☆21Aug 24, 2025Updated 6 months ago
- Example of using Yampa and GHC Wasm backend to create a simple web app.☆19Dec 10, 2023Updated 2 years ago
- [WIP] Optics via the profunctor representation theorem☆20Dec 18, 2019Updated 6 years ago
- Intrinsic Verification of Formal Grammar Theory☆27Nov 22, 2025Updated 3 months ago
- Category theory formalized in cubical agda☆21Feb 16, 2020Updated 6 years ago