Builder2.js | Idris2 Streaming | |
---|---|---|
Stars | 51 | 7 |
Downloads | ||
Dependent Packages | 103 | |
Dependent Repos | 2,081 | |
Most Recent Commit | 9 years ago | 4 years ago |
Total Releases | 61 | |
Latest Release | March 09, 2015 | |
Open Issues | 13 | |
License | other | |
Programming Language | JavaScript | Idris |