prathyvsh / morphisms-of-computational-structuresLinks
A visual catalogue + story of morphisms displayed across computational structures.
☆123Updated 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:
- Day 9 of Advent of Haskell - Denotational Design☆97Updated 3 years ago
- Deep learning via category theory and functional programming☆144Updated 5 years ago
- This project is to contain a listing of common theorems in elementary category theory.☆72Updated 5 years ago
- A continuation of Stephen Diehl's Write You a Haskell☆160Updated 4 years ago
- formally verified category theory library☆263Updated 4 years ago
- Idris version of Domain Modeling Made Functional Book.☆137Updated 3 years ago
- ACT community resources☆469Updated 5 years ago
- A comparison of how computational effects and handlers are implemented in various programming languages.☆138Updated 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.☆55Updated 3 months ago
- Companion to the Haskell in Production series☆80Updated 5 years ago
- Fundamental Haskell book, to the point terse statements on Haskell, Category theory, and related fields. Encyclopedic pocketbook of meani…☆126Updated 3 years ago
- Big article about Hierarchical Free Monads, the most developed approach to build real software in Haskell☆156Updated 3 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- Play/learn/work with me