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
Milewski Ctfp Pdf ⭐ 10,288
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
most recent commit 2 months ago
Plt ⭐ 5,018
Programming Language Theory λΠ
most recent commit 2 months ago
Books ⭐ 4,611
Awesome Books
most recent commit 4 months ago
Unplugged ⭐ 2,810
Open book about math and programming.
most recent commit 16 days ago
Quiver ⭐ 2,187
A modern commutative diagram editor for the web.
most recent commit a month ago
Tikzcd Editor ⭐ 1,364
A simple visual editor for creating commutative diagrams.
most recent commit 3 years ago
Ltupatternfactory ⭐ 958
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
most recent commit 25 days ago
Category_theory_machine_learning ⭐ 758
List of papers studying machine learning through the lens of category theory
most recent commit 2 months ago
Category Theory ⭐ 703
An axiom-free formalization of category theory in Coq for personal study and practical work
most recent commit 7 days ago
Fp Core.rs ⭐ 644
A library for functional programming in Rust
most recent commit 3 years ago
Bow ⭐ 575
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
total releases 9most recent commit 2 years ago
Catlab.jl ⭐ 551
A framework for applied category theory in the Julia language
most recent commit 19 hours ago
Category Theory Resources ⭐ 491
Resources for learning Category Theory for an enthusiast
most recent commit 6 months ago
Category Theory Programmers ⭐ 452
Category theory in the context of (functional) programming
most recent commit 6 years ago
Zio Prelude ⭐ 425
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
dependent packages 4total releases 16most recent commit 7 days ago
Awesome Applied Ct ⭐ 416
ACT community resources
most recent commit 4 years ago
Mirth ⭐ 396
Compiler for the Mirth programming language.
most recent commit 2 years ago
Fstoolkit.errorhandling ⭐ 395
An opinionated F# Library for error handling
dependent packages 19total releases 86most recent commit 2 months agonuget FsToolkit.ErrorHandling} Downloads
Fluokitten ⭐ 394
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
total releases 13most recent commit 3 years ago
Category Theory For Programmers ⭐ 381
e-book version of Bartosz Milewski's Category Theory for Programmers
most recent commit 5 years ago
Scala_typeclassopedia ⭐ 367
Abstractions from Category theory with simple description & implementation, links to further resources.
most recent commit a month ago
Fp Resources ⭐ 350
Functional programming great resources
most recent commit 3 years ago
Typedefs ⭐ 343
Programming language agnostic type construction language based on polynomials.
most recent commit 2 years ago
The 3 Most Depended On Category Theory Open Source Projects
Bastet ⭐ 214
A ReasonML/Ocaml library for category theory and abstract algebra
dependent packages 30total releases 22latest release February 27, 2020most recent commit 8 months agonpm bs-abstract} Downloads
Fstoolkit.errorhandling ⭐ 395
An opinionated F# Library for error handling
dependent packages 19total releases 86latest release October 31, 2022most recent commit 2 months agonuget FsToolkit.ErrorHandling} Downloads
Zio Prelude ⭐ 425
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
dependent packages 4total releases 16latest release September 24, 2022most recent commit 7 days ago
The 10 Latest Releases In Category Theory Open Source Projects
Lsts ⭐ 89
A proof assistant that is also a programming language.
total releases 125latest release July 22, 2023most recent commit a month ago
Fstoolkit.errorhandling ⭐ 395
An opinionated F# Library for error handling
dependent packages 19total releases 86latest release October 31, 2022most recent commit 2 months agonuget FsToolkit.ErrorHandling} Downloads
Zio Prelude ⭐ 425
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
dependent packages 4total releases 16latest release September 24, 2022most recent commit 7 days ago
Meow ⭐ 39
Catless Category Theory in Dotty/Scala 3 meow ~
total releases 2latest release February 19, 2021most recent commit 7 months ago
Bow ⭐ 575
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
total releases 9latest release April 30, 2020most recent commit 2 years ago
Bastet ⭐ 214
A ReasonML/Ocaml library for category theory and abstract algebra
dependent packages 30total releases 22latest release February 27, 2020most recent commit 8 months agonpm bs-abstract} Downloads
Fluokitten ⭐ 394
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
total releases 13latest release February 10, 2020most recent commit 3 years ago
Jsx Tikzcd ⭐ 36
Render tikzcd diagrams with JSX.
total releases 12latest release January 25, 2020most recent commit 4 years ago
Free Functors ⭐ 23
Provides free functors that are adjoint to functors that forget class constraints.
total releases 31latest release September 25, 2018most recent commit 3 years ago
Ctrs ⭐ 60
Category Theory For Programmers (Bartosz Milewski)
total releases 3latest release July 23, 2018most recent commit 2 years ago
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Probability
Tensor
Algebra
Matrices
Fft
Categories
Privacy | About | Terms | Follow Us On Twitter

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

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