prathyvsh / morphisms-of-computational-structuresLinks
A visual catalogue + story of morphisms displayed across computational structures.
☆126Updated 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:
- A list of works and resources about double category theory, with a particular focus on applications.☆30Updated 2 years ago
- This project is to contain a listing of common theorems in elementary category theory.☆73Updated 5 years ago
- Idris version of Domain Modeling Made Functional Book.☆141Updated 3 years ago
- Deep learning via category theory and functional programming☆146Updated 5 years ago
- Theory and Applications of Lenses and Optics☆56Updated 3 years ago
- Challenges from Category Theory for Programmers☆127Updated 10 months ago
- formally verified category theory library☆263Updated 5 years ago
- ☆118Updated last year
- ACT community resources☆468Updated 5 years ago
- Material for the "Category Theory as a Tool for Thought" talk☆40Updated 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.☆57Updated 6 months ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated 3 months ago
- CQL: Categorical Query Language implementation in Haskell☆177Updated 2 years ago
- The 2019/2020 edition of Strathclyde's CS316 Functional Programming course☆41Updated 5 years ago
- The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs☆218Updated 3 years ago
- Solutions to Advent of Code 2019☆50Updated 5 years ago
- Source material for Algebra-Driven Design☆151Updated last year
- Play/learn/work with me☆109Updated 3 months ago
- 🔍 A step-by-step guide to parsing using Haskell parser combinators.☆95Updated 5 years ago
- A continuation of Stephen Diehl's Write You a Haskell☆161Updated 4 years ago
- A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.☆102Updated 2 years ago
- ☆43Updated 3 months ago
- Big article about Hierarchical Free Monads, the most developed approach to build real software in Haskell☆157Updated 4 years ago
- Companion to the Haskell in Production series☆80Updated 5 years ago
- An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.☆178Updated 2 years ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆33Updated 6 years ago
- Introduction to algebraic effects and handlers☆94Updated 7 years ago
- Day 9 of Advent of Haskell - Denotational Design☆98Updated 3 years ago
- A categorical programming language with effects☆283Updated 2 years ago
- Embedded specification language & model checker in Haskell☆174Updated 4 months ago