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