Category Theory
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Certigrad | 346 | 5 years ago | apache-2.0 | Lean | ||||||
| Bug-free machine learning on stochastic computation graphs | ||||||||||
| Provingground | 180 | 1 | 3 years ago | 1 | September 19, 2020 | 7 | mit | Jupyter Notebook | ||
| Proving Ground: Tools for Automated Mathematics | ||||||||||
| Set Theory | 54 | 3 years ago | mit | Coq | ||||||
| Coq encoding of ZFC and formalization of the textbook Elements of Set Theory | ||||||||||
| Category Theory | 18 | 9 years ago | ||||||||
| sometimes math is just too much fun | ||||||||||
| Maps Coloring Python | 8 | 2 years ago | 2 | gpl-3.0 | Python | |||||
| Four color theorem, Guthrie, Kempe, Tait and other people and stuff | ||||||||||
| Orbital | 7 | 7 years ago | other | Java | ||||||
| Orbital Library | ||||||||||
| Math O Matic | 6 | 7 months ago | 26 | mit | TypeScript | |||||
| Computerized proof system on the web | ||||||||||
Alternatives To Category TheorySelect To Compare
Alternative Project Comparisons
Popular Mathematics Projects
Popular Theorem Proving Projects
Popular Mathematics Categories
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Mathematics
Category Theory
Theorem Proving