The Top 261 Category Theory Open Source Projects
most recent commit 4 days ago![]()
most recent commit 2 months ago![]()
most recent commit 2 months ago![]()
most recent commit 2 months ago![]()
most recent commit 6 months ago![]()
most recent commit 2 years ago![]()
total releases 17
most recent commit 3 months ago![]()
most recent commit 2 months ago![]()
most recent commit 2 years ago![]()
most recent commit 13 days ago![]()
total releases 9
most recent commit 7 months ago![]()
most recent commit 4 years ago![]()
most recent commit 16 days ago![]()
most recent commit 2 years ago![]()
most recent commit a year ago![]()
total releases 13
most recent commit 2 years ago![]()
most recent commit 4 years ago![]()
most recent commit 3 months ago![]()
dependent packages 4
total releases 14
most recent commit 7 days ago![]()
Abstractions and constructions from math (Category theory, Abstract algebra) implementations in Scala, minimal description, links to good explanations, links to implementations in other FP languages: Haskell, Idris, Purescript, non FP too: Java, C++ and to formalizations in proof assistants: Coq (UniMath, HoTT book), Cubical Agda. most recent commit a day ago![]()
most recent commit 2 years ago![]()
most recent commit 9 months ago![]()
dependent packages 14
total releases 80
most recent commit 2 days ago![]()

most recent commit 2 months ago![]()
most recent commit 2 months ago![]()
most recent commit a month ago![]()
most recent commit a year ago![]()
dependent packages 1
total releases 38
most recent commit 8 days ago![]()

dependent packages 30
total releases 22
most recent commit a year ago![]()

most recent commit 2 months ago![]()
most recent commit 4 months ago![]()
most recent commit 2 years ago![]()
most recent commit 2 months ago![]()
most recent commit 2 years ago![]()
most recent commit 8 months ago![]()
most recent commit 7 months ago![]()
most recent commit 3 years ago![]()
most recent commit 4 years ago![]()
most recent commit a year ago![]()
most recent commit 2 years ago![]()
most recent commit 3 years ago![]()
most recent commit 2 years ago![]()
most recent commit a month ago![]()
most recent commit 5 years ago![]()
most recent commit a year ago![]()
most recent commit 2 years ago![]()
most recent commit a year ago![]()
most recent commit 3 months ago![]()
most recent commit a year ago![]()
most recent commit 2 years ago![]()
most recent commit 2 years ago![]()
most recent commit 9 months ago![]()
most recent commit 8 months ago![]()
most recent commit 4 days ago![]()
most recent commit a year ago![]()
most recent commit 4 months ago![]()
most recent commit 2 years ago![]()
most recent commit 3 months ago![]()
most recent commit 13 days ago![]()
most recent commit 4 years ago![]()
most recent commit 2 years ago![]()
most recent commit 6 years ago![]()
most recent commit 3 years ago![]()
most recent commit 2 years ago![]()
most recent commit 4 years ago![]()
most recent commit a year ago![]()
most recent commit 3 months ago![]()
most recent commit 3 years ago![]()
most recent commit 2 years ago![]()
most recent commit 5 years ago![]()
most recent commit 2 years ago![]()
most recent commit 4 months ago![]()
most recent commit a year ago![]()
most recent commit 4 years ago![]()
most recent commit a year ago![]()
most recent commit 2 years ago![]()
most recent commit 3 years ago![]()
most recent commit 6 years ago![]()
most recent commit 7 months ago![]()
most recent commit 8 years ago![]()
most recent commit 3 years ago![]()
most recent commit 4 years ago![]()
most recent commit 9 months ago![]()
most recent commit 3 months ago![]()
most recent commit 4 years ago![]()
most recent commit a year ago![]()
most recent commit 3 years ago![]()
most recent commit 2 years ago![]()
most recent commit 3 years ago![]()
most recent commit 4 years ago![]()
most recent commit 5 years ago![]()
most recent commit 8 months ago![]()
most recent commit 7 years ago![]()
most recent commit 2 months ago![]()
most recent commit 2 years ago![]()
most recent commit 4 months ago![]()
most recent commit 7 months ago![]()
most recent commit 15 hours ago![]()
most recent commit 4 years ago![]()
most recent commit 8 years ago![]()
Categories
Top Programming Languages