Cheat sheet for Haskellers wanting to get up to speed with category theory
☆12Mar 4, 2020Updated 6 years ago
Alternatives and similar repositories for category-cheat-sheet
Users that are interested in category-cheat-sheet are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A selective functor is two lax monoidal functors standing on top of each other wearing a trench coat☆14Apr 8, 2020Updated 6 years ago
- checkers for algebra driven design☆34Nov 19, 2022Updated 3 years ago
- Zettelkasten file processor☆10Oct 7, 2020Updated 6 years ago
- Notes of various papers regaridng free monads and extensible effects☆20Oct 10, 2019Updated 7 years ago
- ☆31Mar 5, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Sift through Haskell code for analysis purposes☆18Jul 24, 2018Updated 8 years ago
- probabilistic programming in Haskell☆17Aug 26, 2016Updated 10 years ago
- There are many category theory implementations, but this one is mine☆16Aug 22, 2024Updated 2 years ago
- A tool that generates a data structure from a schema and some relational queries, using modern database techniques to make queries highly…☆10Jul 25, 2021Updated 5 years ago
- Category theory concepts in type classes and instances.☆23Sep 18, 2026Updated last month
- My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.☆14Aug 3, 2019Updated 7 years ago
- Modeling AWS application load balancers using Alloy☆13Dec 27, 2021Updated 4 years ago
- Async tutorial (my HaskellerZ 2020 talk)☆13Apr 30, 2020Updated 6 years ago
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆22Feb 14, 2024Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Omit fields for instance deriving☆37Jun 5, 2020Updated 6 years ago
- the dynabook but for haskell☆23Sep 23, 2019Updated 7 years ago
- FP Complete's Haskell Homepage☆14Mar 17, 2020Updated 6 years ago
- Fast, packed, strict and lazy bit streams for Haskell with stream fusion☆12Oct 28, 2025Updated last year
- Derive instances through isomorphisms☆20Jun 7, 2024Updated 2 years ago
- Here we do all categorical calculations, for small (aka, embeddable fully into a program) categories☆25Jun 25, 2025Updated last year
- Tic Tac Toe, formalized in Agda☆25Oct 19, 2021Updated 5 years ago
- Automated data race detection from a distributed trace via SMT constraint solving☆18Jan 4, 2022Updated 4 years ago
- A GHC source plugin which detects opportunities to use coerce☆17Aug 8, 2018Updated 8 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Linear maps as a GADT☆14Dec 17, 2012Updated 13 years ago
- 🍰🍴Template project based on the cake-slayer architecture library☆19Jan 11, 2023Updated 3 years ago
- 🧠 Type-safe memory units☆61Nov 6, 2020Updated 6 years ago
- Comparing Haskell effect systems for ergonomics and speed☆66Mar 21, 2021Updated 5 years ago
- Declarative Optimization in Haskell☆11Mar 15, 2019Updated 7 years ago
- Fundamental Haskell book, to the point terse statements on Haskell, Category theory, and related fields. Encyclopedic pocketbook of meani…☆126Mar 2, 2022Updated 4 years ago
- Basics of the dependently-typed functional language Agda ^_^☆43Jan 6, 2022Updated 4 years ago
- GHC patched with the -fcompact-holes flag☆11Nov 12, 2018Updated 8 years ago
- Notes on Category Theory For Programmers by Bartosz Milewski☆56May 27, 2018Updated 8 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆11Jan 11, 2019Updated 7 years ago
- Playing with Haskell effect systems☆13Dec 24, 2019Updated 6 years ago
- Haskell graphs and networks library☆32Jun 17, 2026Updated 4 months ago
- Directed type theory for formal category theory☆19Apr 7, 2017Updated 9 years ago
- `linear-locks` provides locking primitives that are statically guaranteed to be free of deadlocks.☆23Sep 26, 2026Updated last month
- Representation and Incremental Processing of RDF Data☆10Nov 28, 2024Updated last year
- A bunch of examples that show how to do stuff using Haskell's Servant web framework☆44Apr 26, 2021Updated 5 years ago
Are these results useful?