prathyvsh / morphisms-of-computational-structuresLinks
A visual catalogue + story of morphisms displayed across computational structures.
☆129Updated 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
- A list of works and resources about double category theory, with a particular focus on applications.☆30Updated 2 years ago
- ACT community resources☆468Updated 5 years ago
- ☆118Updated last year
- Idris version of Domain Modeling Made Functional Book.☆142Updated 3 years ago
- Challenges from Category Theory for Programmers☆127Updated 11 months ago
- Source material for Algebra-Driven Design☆152Updated last year
- Deep learning via category theory and functional programming☆146Updated 5 years ago
- Theory and Applications of Lenses and Optics☆56Updated 3 years ago
- Day 9 of Advent of Haskell - Denotational Design☆98Updated 3 years ago
- CQL: Categorical Query Language implementation in Haskell☆179Updated 2 years ago
- Introduction to algebraic effects and handlers☆98Updated 7 years ago
- An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.☆177Updated 3 years ago
- formally verified category theory library☆264Updated 5 years ago
- Play/learn/work with me☆110Updated 3 weeks ago
- Material for the "Category Theory as a Tool for Thought" talk☆40Updated 2 years ago
- A categorical programming language with effects☆284Updated 2 years ago
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆115Updated last week
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆308Updated last year
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆57Updated 7 months ago
- Solutions to Advent of Code 2019☆50Updated 5 years ago
- An introductory course to Homotopy Type Theory☆373Updated 5 years ago
- Embedded specification language & model checker in Haskell☆175Updated 5 months ago
- Big article about Hierarchical Free Monads, the most developed approach to build real software in Haskell☆155Updated 4 years ago
- A comparison of how computational effects and handlers are implemented in various programming languages.☆143Updated 6 years ago
- Resources for type theory, functional programming, etc.☆320Updated 4 years ago
- A continuation of Stephen Diehl's Write You a Haskell☆161Updated 4 years ago
- Companion to the Haskell in Production series☆80Updated 5 years ago
- The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs☆218Updated 3 years ago
- The 2019/2020 edition of Strathclyde's CS316 Functional Programming course☆40Updated 5 years ago