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
- My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.☆14Aug 3, 2019Updated 7 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
- 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
- Fast, packed, strict and lazy bit streams for Haskell with stream fusion☆12Oct 28, 2025Updated 11 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆22Feb 14, 2024Updated 2 years ago
- the dynabook but for haskell☆23Sep 23, 2019Updated 7 years ago
- Omit fields for instance deriving☆37Jun 5, 2020Updated 6 years ago
- FP Complete's Haskell Homepage☆14Mar 17, 2020Updated 6 years ago
- 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
- Linear maps as a GADT☆14Dec 17, 2012Updated 13 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A GHC source plugin which detects opportunities to use coerce☆17Aug 8, 2018Updated 8 years ago
- 🍰🍴Template project based on the cake-slayer architecture library☆19Jan 11, 2023Updated 3 years ago
- 🧠 Type-safe memory units☆61Nov 6, 2020Updated 5 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
- Comparing Haskell effect systems for ergonomics and speed☆66Mar 21, 2021Updated 5 years ago
- Basics of the dependently-typed functional language Agda ^_^☆43Jan 6, 2022Updated 4 years ago
- Haskell graphs and networks library☆31Jun 17, 2026Updated 4 months ago
- GHC patched with the -fcompact-holes flag☆11Nov 12, 2018Updated 7 years ago
- `linear-locks` provides locking primitives that are statically guaranteed to be free of deadlocks.☆23Sep 26, 2026Updated 3 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Towards Optic-Based Algebraic Theories: the Case of Lenses☆17Nov 26, 2018Updated 7 years ago
- ☆11Jan 11, 2019Updated 7 years ago
- Playing with Haskell effect systems☆13Dec 24, 2019Updated 6 years ago
- Directed type theory for formal category theory☆19Apr 7, 2017Updated 9 years ago
- A bunch of examples that show how to do stuff using Haskell's Servant web framework☆44Apr 26, 2021Updated 5 years ago
- Representation and Incremental Processing of RDF Data☆10Nov 28, 2024Updated last year
- A talk☆29Apr 14, 2021Updated 5 years ago