Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 18 Algebra Category Theory Open Source Projects

Open source projects categorized as Algebra Category Theory
Categories > Mathematics > Algebra
Categories > Mathematics > Category Theory
Unplugged ⭐ 2,821
Open book about math and programming.
most recent commit 5 months ago
Catlab.jl ⭐ 563
A framework for applied category theory in the Julia language
most recent commit 3 months ago
Category Theory For Programmers ⭐ 381
e-book version of Bartosz Milewski's Category Theory for Programmers
most recent commit 5 years ago
Fp Resources ⭐ 350
Functional programming great resources
most recent commit 4 years ago
Bastet ⭐ 212
A ReasonML/Ocaml library for category theory and abstract algebra
dependent packages 32total releases 22most recent commit a year agonpm bs-abstract} Downloads
Categorytheory ⭐ 118
[번역] 프로그래머를 위한 카테고리 이론 (Category Theory for Programmers)
most recent commit 5 years ago
Functional ⭐ 96
Common Functional Programming Algebraic data types for JavaScript that is compatible with most modern browsers and Deno.
most recent commit 3 years ago
Bewl ⭐ 55
A DSL for the internal language of a topos
most recent commit 4 months ago
Aluffi ⭐ 45
Solutions to Paolo Aluffi's "Algebra: Chapter 0".
most recent commit 6 years ago
Algebraicrelations.jl ⭐ 44
Relational Algebra, now with more algebra!
most recent commit 6 months ago
Abstracttensors.jl ⭐ 42
Tensor algebra abstract type interoperability setup
most recent commit 9 months ago
Cateno ⭐ 26
A system for computational category theory and applications
most recent commit 8 years ago
Advanced Functional Resources ⭐ 24
most recent commit 2 years ago
Feval ⭐ 22
evaluation using f-algebras
total releases 2most recent commit 9 years ago
Cap_project ⭐ 21
CAP project -- Categories, Algorithms, and Programming
most recent commit 3 months ago
Categories ⭐ 13
Category Theory
most recent commit 5 years ago
Arrows ⭐ 8
A computer algebra system in Smalltalk
most recent commit 4 months ago
Ct ⭐ 8
My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.
most recent commit 5 years ago
The 2 Latest Releases In Algebra Category Theory Open Source Projects
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
Feval ⭐ 22
evaluation using f-algebras
total releases 2latest release October 09, 2017most recent commit 9 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.