Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 19 Category Algebra Open Source Projects

Open source projects categorized as Category Algebra
Categories > Mathematics > Algebra
Categories > User Interface > Category
Awesome Math ⭐ 7,409
A curated list of awesome mathematics resources
most recent commit 8 months ago
Learn_math_fast ⭐ 2,920
This is the Curriculum for "How to Learn Mathematics Fast" By Siraj Raval on Youtube
most recent commit 5 years ago
Witchcraft ⭐ 1,169
Monads and other dark magic for Elixir
dependent packages 3total releases 17most recent commit 8 months agohex witchcraft} Downloads
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 6 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
At ⭐ 32
Effective Algebraic Topology in Haskell
most recent commit 2 years ago
Free Algebras ⭐ 31
Free Algebras in Haskell
total releases 17most recent commit a year ago
Maths For Artificial Intelligence ⭐ 29
Master mathematics for machine learning, Artificial Intelligence. A curated list of awesome mathematics resources.
most recent commit 5 years 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
Relative Monads ⭐ 22
Relative Monad Library for Agda
most recent commit 5 years ago
Cap_project ⭐ 21
CAP project -- Categories, Algorithms, and Programming
most recent commit 3 months ago
Scala Reggen ⭐ 19
Generic programming experiment in Scala
most recent commit 6 years ago
Categories ⭐ 13
Category Theory
most recent commit 6 years ago
Homalg_project ⭐ 10
Deposited packages of the homalg project
most recent commit 3 months ago
Qiit Generalizations ⭐ 9
Extending small finitary QIITs to non-small non-finitary
most recent commit 10 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 Most Depended On Category Algebra 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
Witchcraft ⭐ 1,169
Monads and other dark magic for Elixir
dependent packages 3total releases 17latest release January 29, 2022most recent commit 8 months agohex witchcraft} Downloads
The 3 Latest Releases In Category Algebra Open Source Projects
Free Algebras ⭐ 31
Free Algebras in Haskell
total releases 17latest release June 04, 2023most recent commit a year ago
Witchcraft ⭐ 1,169
Monads and other dark magic for Elixir
dependent packages 3total releases 17latest release January 29, 2022most recent commit 8 months agohex witchcraft} Downloads
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
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.