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
- An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.☆169Updated 2 years ago
- Big article about Hierarchical Free Monads, the most developed approach to build real software in Haskell☆155Updated 3 years ago
- A continuation of Stephen Diehl's Write You a Haskell☆155Updated 3 years ago
- Day 9 of Advent of Haskell - Denotational Design☆97Updated 2 years ago
- My slides and compilation of resources.☆148Updated 2 months ago
- 🔍 A step-by-step guide to parsing using Haskell parser combinators.☆92Updated 4 years ago
- Collections of papers and books about Haskell, Type Theory and Category Theory☆164Updated 3 years ago
- Solutions to Advent of Code 2019☆50Updated 4 years ago
- A collection of awesome Haskell videos. Inspired by awesome projects line.☆42Updated last year
- Haskell Monad tutorial with pictures☆135Updated 8 years ago
- Embedded specification language & model checker in Haskell☆175Updated last year
- The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs☆211Updated 2 years ago
- Code and materials for my book "Functional Design and Architecture"☆488Updated 3 weeks ago
- Automatic white-box testing with Free monads: approach description and showcase☆83Updated 2 years ago
- Source material for Algebra-Driven Design☆136Updated 11 months ago
- A curated list of amazingly awesome Haskell articles and talks for beginners.☆186Updated 2 years ago
- A minimalistic, elegant and powerful approach to working with graphs in a functional programming language☆194Updated 3 years ago
- Companion to the Haskell in Production series☆80Updated 5 years ago
- Catalog of visual lambda calculi☆97Updated last year
- Generalized bananas, lenses and barbed wire☆336Updated 4 months ago
- Don't Fear the Profunctor Optics!☆424Updated 2 years ago
- GRIN backend for GHC☆143Updated 3 years ago
- CQL: Categorical Query Language implementation in Haskell☆163Updated last year
- A talk on using recursion schemes in FP.☆217Updated 7 months ago
- ☆250Updated last month
- Hydra is a full-fledged framework for building web services, multithreaded and concurrent applications with SQL and KV DB support.☆189Updated 2 months ago
- A book about category theory☆341Updated last week
- Relational programming in Haskell. Mostly developed on twitch.☆256Updated 2 months ago
- Play/learn/work with me☆95Updated 3 months ago
- Software Foundations in Idris☆452Updated 5 years ago
- 📖 source material for Thinking with Types☆477Updated last year