prathyvsh / morphisms-of-computational-structures
A visual catalogue + story of morphisms displayed across computational structures.
☆122Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for morphisms-of-computational-structures
- A list of works and resources about double category theory, with a particular focus on applications.☆24Updated 2 years ago
- An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.☆169Updated 2 years ago
- Idris version of Domain Modeling Made Functional Book.☆131Updated 3 years ago
- Day 9 of Advent of Haskell - Denotational Design☆97Updated 2 years ago
- An introductory course to Homotopy Type Theory☆360Updated 4 years ago
- Big article about Hierarchical Free Monads, the most developed approach to build real software in Haskell☆155Updated 3 years ago
- Deep learning via category theory and functional programming☆139Updated 4 years ago
- Companion to the Haskell in Production series☆80Updated 5 years ago
- Solutions to Advent of Code 2019☆50Updated 4 years ago
- Haskell Monad tutorial with pictures☆135Updated 8 years ago
- ☆109Updated 4 months ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆287Updated 9 months ago
- A continuation of Stephen Diehl's Write You a Haskell☆155Updated 3 years ago
- Source material for Algebra-Driven Design☆137Updated last year
- CQL: Categorical Query Language implementation in Haskell☆163Updated last year
- Fundamental Haskell book, to the point terse statements on Haskell, Category theory, and related fields. Encyclopedic pocketbook of meani…☆121Updated 2 years ago
- Automatic white-box testing with Free monads: approach description and showcase☆83Updated 2 years ago
- A categorical programming language with effects☆267Updated last year
- Collections of papers and books about Haskell, Type Theory and Category Theory☆164Updated 3 years ago
- formally verified category theory library☆257Updated 4 years ago
- The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs☆211Updated 2 years ago
- Generalized bananas, lenses and barbed wire☆337Updated 5 months ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆32Updated 5 years ago
- Hydra is a full-fledged framework for building web services, multithreaded and concurrent applications with SQL and KV DB support.☆192Updated 2 months ago
- Algebraic graphs implementation in TypeScript☆129Updated last year
- The Dao of Functional Programming☆300Updated last month
- A curated list of amazingly awesome Haskell articles and talks for beginners.☆186Updated 2 years ago
- ACT community resources☆465Updated 4 years ago
- Course material for lens☆231Updated 5 years ago
- Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically☆201Updated 7 months ago