Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Category Theory Open Source Projects

Open source projects categorized as Category Theory
Categories > Mathematics > Category Theory
Geb ⭐ 22
A Categorical View of Computation
most recent commit 4 months ago
Scala Category Theory ⭐ 22
Bartosz Milewski great book on Category Theory implemented in scala, with property Tests
most recent commit 6 years ago
Cs43 ⭐ 22
Course materials for Stanford's CS43: Functional Programming Paradigms
most recent commit 4 years ago
Categorytheoryforprogrammers ⭐ 22
Notes from Category Theory for Programmers lessons by Bartosz Milewski
most recent commit 7 years ago
Cap_project ⭐ 21
CAP project -- Categories, Algorithms, and Programming
most recent commit 3 months ago
Category Theory For Programmers ⭐ 21
🚧 WIP: Bartosz Milewski's "Category Theory for Programmers" Korean translation 📚
most recent commit 2 years ago
Functional Programming From Scratch Ja ⭐ 20
関数型プログラミングをゼロからわかりやすく実用的に幅広い視点から解説！〜 圏論からFRPの構築まで
most recent commit 6 months ago
Fm Notes ⭐ 19
Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
most recent commit a year ago
Smproc ⭐ 19
A well-typed symmetric-monoidal category of concurrent processes
most recent commit 5 years ago
Constrained Categories ⭐ 19
Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds
total releases 12most recent commit a year ago
Hott Categories ⭐ 19
A category theory library built on top of Homotopy Type Theory, by Jason Gross
most recent commit 10 years ago
Algebraicrewriting.jl ⭐ 18
Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
most recent commit 3 months ago
Category Theory ⭐ 18
sometimes math is just too much fun
most recent commit 9 years ago
Act Munich ⭐ 16
Resource for the applied category theory Munich reading group
most recent commit 3 years ago
Haskerwaul ⭐ 16
Category theory concepts in type classes and instances.
most recent commit 2 years ago
Cat ⭐ 16
A categorical semantics library in Agda.
most recent commit 4 years ago
Algebraicinference.jl ⭐ 16
Bayesian inference on wiring diagrams.
most recent commit 7 months ago
Natural Transformation ⭐ 16
A natural transformation package
total releases 5most recent commit 7 months ago
Awesome Double Categories ⭐ 15
A list of works and resources about double category theory, with a particular focus on applications.
most recent commit 2 years ago
Monadism ⭐ 15
A set of practical monads implemented in TypeScript
dependent packages 2total releases 19most recent commit 4 years agonpm monadism} Downloads
Cat.js ⭐ 15
Category Theory for JavaScript
most recent commit 8 years ago
Categorical Automata ⭐ 15
Bicategories of automata, completeness of F-automata in monoidal categories, adjoints between (semi)bicategories; https://arxiv.org/pdf/2303.03867, https://arxiv.org/pdf/2303.03865, https://arxiv.org/abs/2305.00272
most recent commit a year ago
Ad Lens ⭐ 15
Automatic Differentiation using Pseudo Lenses. Neat.
most recent commit 4 years ago
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.