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,547
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
most recent commit 4 months ago
Plt ⭐ 5,018
Programming Language Theory λΠ
most recent commit 9 months ago
Books ⭐ 4,970
Awesome Books
most recent commit 6 months ago
Unplugged ⭐ 2,821
Open book about math and programming.
most recent commit 6 months ago
Quiver ⭐ 2,246
A modern commutative diagram editor for the web.
most recent commit 4 months ago
Tikzcd Editor ⭐ 1,364
A simple visual editor for creating commutative diagrams.
most recent commit 4 years ago
Ltupatternfactory ⭐ 958
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
most recent commit 8 months ago
Category_theory_machine_learning ⭐ 921
List of papers studying machine learning through the lens of category theory
most recent commit 4 months ago
Category Theory ⭐ 720
An axiom-free formalization of category theory in Coq for personal study and practical work
most recent commit 3 months ago
Fp Core.rs ⭐ 644
A library for functional programming in Rust
most recent commit 4 years ago
Bow ⭐ 643
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
total releases 9most recent commit 2 years ago
Catlab.jl ⭐ 563
A framework for applied category theory in the Julia language
most recent commit 3 months ago
Category Theory Resources ⭐ 491
Resources for learning Category Theory for an enthusiast
most recent commit a year ago
Category Theory Programmers ⭐ 452
Category theory in the context of (functional) programming
most recent commit 6 years ago
Fluokitten ⭐ 450
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
total releases 13most recent commit 5 months ago
Zio Prelude ⭐ 430
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
dependent packages 44total releases 18most recent commit 3 months ago
Mirth ⭐ 426
Compiler for the Mirth programming language.
most recent commit 3 months ago
Fstoolkit.errorhandling ⭐ 420
An opinionated F# Library for error handling
dependent packages 29total releases 117most recent commit 3 months agonuget FsToolkit.ErrorHandling} Downloads
Awesome Applied Ct ⭐ 416
ACT community resources
most recent commit 4 years ago
Category Theory For Programmers ⭐ 381
e-book version of Bartosz Milewski's Category Theory for Programmers
most recent commit 6 years ago
Scala_typeclassopedia ⭐ 374
Abstractions from Category theory with simple description & implementation, links to further resources.
most recent commit 5 months ago
Fp Resources ⭐ 350
Functional programming great resources
most recent commit 4 years ago
Typedefs ⭐ 343
Programming language agnostic type construction language based on polynomials.
most recent commit 3 years ago
The 10 Most Depended On Category Theory Open Source Projects
Fp4ts ⭐ 23
Zero-dependency, purely functional library for effectful programming in Typescript
dependent packages 64total releases 367latest release October 04, 2023most recent commit a year agonpm @fp4ts/core} Downloads
Strict Encoding ⭐ 7
Protobufs for functional programming
dependent packages 61total releases 90latest release October 09, 2023most recent commit 4 months agocargo strict_encoding} Downloads
Zio Prelude ⭐ 430
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
dependent packages 44total releases 18latest release September 17, 2023most recent commit 3 months ago
Bastet ⭐ 212
A ReasonML/Ocaml library for category theory and abstract algebra
dependent packages 32total releases 22latest release February 27, 2020most recent commit a year agonpm bs-abstract} Downloads
Fstoolkit.errorhandling ⭐ 420
An opinionated F# Library for error handling
dependent packages 29total releases 117latest release December 10, 2023most recent commit 3 months agonuget FsToolkit.ErrorHandling} Downloads
Principia.ts ⭐ 11
TypeScript functional programming (mirror)
dependent packages 16total releases 132latest release December 29, 2021most recent commit 2 years agonpm @principia/base} Downloads
Jsx Tikzcd ⭐ 36
Render tikzcd diagrams with JSX.
dependent packages 2total releases 12latest release January 25, 2020most recent commit 4 years agonpm jsx-tikzcd} Downloads
Monadism ⭐ 15
A set of practical monads implemented in TypeScript
dependent packages 2total releases 19latest release June 27, 2019most recent commit 4 years agonpm monadism} Downloads
Ts Cat ⭐ 7
A static-land and fantasy-land compliant library containing interfaces for common type-classes and common instances of them.
dependent packages 1total releases 10latest release January 06, 2020most recent commit a year agonpm ts-cat} Downloads
Semagrams.jl ⭐ 81
A graphical editor for graph-like structures
dependent packages 1total releases 4latest release November 21, 2021most recent commit 8 months agonpm semagrams} Downloads
The 10 Latest Releases In Category Theory Open Source Projects
Fstoolkit.errorhandling ⭐ 420
An opinionated F# Library for error handling
dependent packages 29total releases 117latest release December 10, 2023most recent commit 3 months agonuget FsToolkit.ErrorHandling} Downloads
Strict Encoding ⭐ 7
Protobufs for functional programming
dependent packages 61total releases 90latest release October 09, 2023most recent commit 4 months agocargo strict_encoding} Downloads
Rzk ⭐ 180
An experimental proof assistant based on a type theory for synthetic ∞-categories.
total releases 22latest release October 07, 2023most recent commit 19 days ago
Fp4ts ⭐ 23
Zero-dependency, purely functional library for effectful programming in Typescript
dependent packages 64total releases 367latest release October 04, 2023most recent commit a year agonpm @fp4ts/core} Downloads
Zio Prelude ⭐ 430
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
dependent packages 44total releases 18latest release September 17, 2023most recent commit 3 months ago
Lsts ⭐ 96
A proof assistant that is also a programming language.
total releases 125latest release July 22, 2023most recent commit 4 months ago
Data Category ⭐ 53
Library of categories, with categorical constructions on them
total releases 29latest release March 27, 2023most recent commit 8 months ago
Algar ⭐ 7
Algebraic structures, higher-kinded types and other category theory bad ideas
total releases 7latest release March 22, 2023most recent commit a year ago
Opycleid ⭐ 27
Opycleid - A Python package for transformational music theory
total releases 15latest release July 14, 2022most recent commit 2 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.