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:
- This project is to contain a listing of common theorems in elementary category theory.☆73Updated 5 years ago
- ACT community resources☆468Updated 5 years ago
- Challenges from Category Theory for Programmers☆125Updated 9 months ago
- Deep learning via category theory and functional programming☆146Updated 5 years ago
- A list of works and resources about double category theory, with a particular focus on applications.☆30Updated 2 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 5 months ago
- CQL: Categorical Query Language implementation in Haskell☆175Updated 2 years ago
- Idris version of Domain Modeling Made Functional Book.☆140Updated 3 years ago
- Solutions to Advent of Code 2019☆50Updated 5 years ago
- Day 9 of Advent of Haskell - Denotational Design☆98Updated 3 years ago
- ☆117Updated last year
- Material for the "Category Theory as a Tool for Thought" talk☆40Updated 2 years ago
- A categorical programming language with effects☆282Updated 2 years ago
- formally verified category theory library☆263Updated 5 years ago
- Theory and Applications of Lenses and Optics☆56Updated 3 years ago
- A comparison of how computational effects and handlers are implemented in various programming languages.☆142Updated 6 years ago
- The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs☆218Updated 3 years ago
- An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.☆178Updated 2 years ago
- A continuation of Stephen Diehl's Write You a Haskell☆161Updated 4 years ago
- Source material for Algebra-Driven Design☆151Updated last year
- Introduction to algebraic effects and handlers☆94Updated 7 years ago
- Functional teaching language for use in a discrete mathematics course☆169Updated last month
- Big article about Hierarchical Free Monads, the most developed approach to build real software in Haskell☆157Updated 4 years ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆302Updated last year
- The 2019/2020 edition of Strathclyde's CS316 Functional Programming course☆41Updated 5 years ago
- Companion to the Haskell in Production series☆80Updated 5 years ago
- Haskell Monad tutorial with pictures☆136Updated 9 years ago
- Play/learn/work with me☆106Updated 2 months ago
- An introductory course to Homotopy Type Theory☆373Updated 5 years ago
- Collections of papers and books about Haskell, Type Theory and Category Theory☆167Updated 3 years ago