Wiring Diagram Processing
-
Updated
May 23, 2024 - Python
Wiring Diagram Processing
The agda-unimath library
At the beginning of a long road...
A book about category theory
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
A Rust/WASM implementation of homotopy.io
Tangent bundle, vector space and Submanifold definition
Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
Categorical Abstract Machine: Theory, Formalisation, Extensions
My mathematical Zettelkasten, created using forester.
An opinionated F# Library for error handling
TypeScript implementations of common data structures and concepts in Functional Programming
Extensive learning notes on mathematics
A daily digest of the articles or videos I've found interesting, that I want to share with you.
A framework for applied category theory in the Julia language
A Categorical View of Computation
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
Add a description, image, and links to the category-theory topic page so that developers can more easily learn about it.
To associate your repository with the category-theory topic, visit your repo's landing page and select "manage topics."