Remix Project | Dry Analyzer | |
---|---|---|
Stars | 2,188 | 38 |
Downloads | ||
Dependent Packages | 33 | |
Dependent Repos | ||
Most Recent Commit | 4 months ago | 6 years ago |
Total Releases | 44 | |
Latest Release | December 01, 2023 | |
Open Issues | 767 | 22 |
License | mit | lgpl-2.1 |
Programming Language | TypeScript | Coq |