| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| DanielaSfregola/tutorial-cat | 104 | 0 | 0 | almost 5 years ago | 0 | 0 | apache-2.0 | Scala | ||
| Workshop Pragmatic Introduction to Category Theory | ||||||||||
| xieyuheng/cat | 16 | 0 | 0 | over 6 years ago | 0 | 0 | gpl-3.0 | Agda | ||
| A categorical semantics library in Agda. | ||||||||||
| mandubian/khats | 14 | 0 | 0 | over 9 years ago | 0 | 0 | other | Scala | ||
| Khats, cats on Higher-Kinded amphets | ||||||||||
| AdrielC/free-arrow | 14 | 0 | 0 | about 5 years ago | 0 | 0 | Scala | |||
| Implementation of the Free Arrow in Scala and other helpful tools for working with Arrows | ||||||||||
| darrenjw/fps-course | 5 | 0 | 0 | about 4 years ago | 0 | 0 | gpl-3.0 | Scala | ||
| Category theory for pure functional programming in Scala - materials for course participants | ||||||||||