Big Dipper 2.0 Cosmos | Tm Proposer Idris | |
---|---|---|
Stars | 125 | 13 |
Downloads | ||
Dependent Packages | ||
Dependent Repos | ||
Most Recent Commit | 3 months ago | 5 years ago |
Total Releases | ||
Latest Release | ||
Open Issues | 32 | |
License | apache-2.0 | gpl-3.0 |
Programming Language | TypeScript | Idris |