Tutorial Cat
Workshop Pragmatic Introduction to Category Theory
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Tutorial Cat | 104 | 3 years ago | apache-2.0 | Scala | ||||||
| Workshop Pragmatic Introduction to Category Theory | ||||||||||
| Cat | 16 | 4 years ago | gpl-3.0 | Agda | ||||||
| A categorical semantics library in Agda. | ||||||||||
| Khats | 14 | 8 years ago | other | Scala | ||||||
| Khats, cats on Higher-Kinded amphets | ||||||||||
| Free Arrow | 14 | 3 years ago | Scala | |||||||
| Implementation of the Free Arrow in Scala and other helpful tools for working with Arrows | ||||||||||
| Fps Course | 5 | 2 years ago | gpl-3.0 | Scala | ||||||
| Category theory for pure functional programming in Scala - materials for course participants | ||||||||||
Alternatives To Tutorial CatSelect To Compare
Alternative Project Comparisons
Popular Category Theory Projects
Popular Cats Projects
Popular Mathematics Categories
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Scala
Cats
Monad
Functor
Category Theory
Monoid