prathyvsh / morphisms-of-computational-structuresLinks
A visual catalogue + story of morphisms displayed across computational structures.
☆125Updated 3 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
Sorting:
- An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.☆172Updated 2 years ago
- Idris version of Domain Modeling Made Functional Book.☆138Updated 3 years ago
- Deep learning via category theory and functional programming☆144Updated 5 years ago
- A list of works and resources about double category theory, with a particular focus on applications.☆30Updated 2 years ago
- Haskell Monad tutorial with pictures☆135Updated 8 years ago
- An introductory course to Homotopy Type Theory☆371Updated 4 years ago
- A categorical programming language with effects☆278Updated 2 years ago
- ACT community resources☆467Updated 5 years ago
- Day 9 of Advent of Haskell - Denotational Design☆97Updated 3 years ago
- Big article about Hierarchical Free Monads, the most developed approach to build real software in Haskell☆156Updated 3 years ago
- formally verified category theory library☆263Updated 5 years ago
- A continuation of Stephen Diehl's Write You a Haskell☆160Updated 4 years ago
- Introduction to algebraic effects and handlers☆95Updated 6 years ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆56Updated 3 months ago
- Source material for Algebra-Driven Design☆149Updated last year
- Algebraic graphs implementation in TypeScript☆133Updated 2 years ago
- ☆115Updated 11 months ago
- The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs☆217Updated 3 years ago
- Theory and Applications of Lenses and Optics☆54Updated 3 years ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆301Updated last year
- Challenges from Category Theory for Programmers☆122Updated 8 months ago
- A comparison of how computational effects and handlers are implemented in various programming languages.☆141Updated 6 years ago
- Embedded specification language & model checker in Haskell☆174Updated 2 months ago
- Hydra is a full-fledged framework for building web services, multithreaded and concurrent applications with SQL and KV DB support.☆196Updated 9 months ago
- A visualization of key structures in abstract algebra.☆156Updated 5 years ago
- ICFP 2020 papers. Crowd-sourced☆91Updated 4 years ago
- A curated list of amazingly awesome Haskell articles and talks for beginners.☆194Updated 2 years ago
- A talk on using recursion schemes in FP.☆217Updated last year
- The 2019/2020 edition of Strathclyde's CS316 Functional Programming course☆41Updated 4 years ago
- Companion to the Haskell in Production series☆80Updated 5 years ago