Crocks | Category Theory | |
---|---|---|
Stars | 1,541 | 720 |
Downloads | ||
Dependent Packages | 86 | |
Dependent Repos | 37 | |
Most Recent Commit | 2 years ago | 4 months ago |
Total Releases | 36 | |
Latest Release | September 22, 2019 | |
Open Issues | 58 | 4 |
License | isc | bsd-3-clause |
Programming Language | JavaScript | Coq |