prathyvsh / morphisms-of-computational-structures
A visual catalogue + story of morphisms displayed across computational structures.
☆123Updated 2 years ago
Alternatives and similar repositories for morphisms-of-computational-structures:
Users that are interested in morphisms-of-computational-structures are comparing it to the libraries listed below
- ACT community resources☆467Updated 5 years ago
- An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.☆170Updated 2 years ago
- A continuation of Stephen Diehl's Write You a Haskell☆159Updated 4 years ago
- A list of works and resources about double category theory, with a particular focus on applications.☆25Updated 2 years ago
- This project is to contain a listing of common theorems in elementary category theory.☆72Updated 4 years ago
- An introductory course to Homotopy Type Theory☆364Updated 4 years ago
- A categorical programming language with effects☆274Updated last year
- CQL: Categorical Query Language implementation in Haskell☆167Updated last year
- Day 9 of Advent of Haskell - Denotational Design☆97Updated 3 years ago
- formally verified category theory library☆262Updated 4 years ago
- Deep learning via category theory and functional programming☆141Updated 4 years ago
- Big article about Hierarchical Free Monads, the most developed approach to build real software in Haskell☆156Updated 3 years ago
- 🔍 A step-by-step guide to parsing using Haskell parser combinators.☆93Updated 5 years ago
- Source material for Algebra-Driven Design☆138Updated last year
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆289Updated last year
- Idris version of Domain Modeling Made Functional Book.☆132Updated 3 years ago
- ☆114Updated 7 months ago
- A minimalistic, elegant and powerful approach to working with graphs in a functional programming language☆195Updated 3 years ago
- A comparison of how computational effects and handlers are implemented in various programming languages.☆136Updated 5 years ago
- Collections of papers and books about Haskell, Type Theory and Category Theory☆166Updated 3 years ago
- Embedded specification language & model checker in Haskell☆174Updated 2 years ago
- ICFP 2020 papers. Crowd-sourced☆91Updated 4 years ago
- Resources for type theory, functional programming, etc.☆315Updated 3 years ago
- The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs☆213Updated 2 years ago
- A curated list of amazingly awesome Haskell articles and talks for beginners.☆190Updated 2 years ago
- Fundamental Haskell book, to the point terse statements on Haskell, Category theory, and related fields. Encyclopedic pocketbook of meani…☆125Updated 2 years ago
- Hydra is a full-fledged framework for building web services, multithreaded and concurrent applications with SQL and KV DB support.☆194Updated 5 months ago
- Automatic white-box testing with Free monads: approach description and showcase☆83Updated 3 years ago
- A talk on using recursion schemes in FP.☆217Updated 10 months ago
- Generalized bananas, lenses and barbed wire☆343Updated 2 months ago