Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Unplugged | 2,821 | 6 months ago | 10 | TeX | ||||||
Open book about math and programming. | ||||||||||
Catlab.jl | 563 | 3 months ago | 142 | mit | Julia | |||||
A framework for applied category theory in the Julia language | ||||||||||
Category Theory For Programmers | 381 | 6 years ago | 2 | CSS | ||||||
e-book version of Bartosz Milewski's Category Theory for Programmers | ||||||||||
Fp Resources | 350 | 4 years ago | ||||||||
Functional programming great resources | ||||||||||
Bastet | 212 | 30 | 32 | a year ago | 22 | February 27, 2020 | 1 | bsd-3-clause | OCaml | |
A ReasonML/Ocaml library for category theory and abstract algebra | ||||||||||
Categorytheory | 118 | 5 years ago | ||||||||
[번역] 프로그래머를 위한 카테고리 이론 (Category Theory for Programmers) | ||||||||||
Functional | 96 | 3 years ago | mit | JavaScript | ||||||
Common Functional Programming Algebraic data types for JavaScript that is compatible with most modern browsers and Deno. | ||||||||||
Bewl | 55 | 4 months ago | 3 | Scala | ||||||
A DSL for the internal language of a topos | ||||||||||
Aluffi | 45 | 6 years ago | 4 | TeX | ||||||
Solutions to Paolo Aluffi's "Algebra: Chapter 0". | ||||||||||
Algebraicrelations.jl | 44 | 6 months ago | 15 | mit | Julia | |||||
Relational Algebra, now with more algebra! |