Idris2 Streaming vs Archiver
| Archiver | Idris2 Streaming | |
|---|---|---|
| Stars | 4,170 | 7 |
| Downloads | ||
| Dependent Packages | 713 | |
| Dependent Repos | ||
| Most Recent Commit | 3 months ago | 3 years ago |
| Total Releases | 26 | |
| Latest Release | November 22, 2021 | |
| Open Issues | 11 | |
| License | mit | other |
| Programming Language | Go | Idris |