List | Dependable Data Structures | |
---|---|---|
Stars | 1,643 | 13 |
Downloads | ||
Dependent Packages | 24 | |
Dependent Repos | 53 | |
Most Recent Commit | 6 months ago | 5 years ago |
Total Releases | 33 | |
Latest Release | October 09, 2019 | |
Open Issues | 22 | |
License | mit | bsd-3-clause |
Programming Language | TypeScript | Idris |