Tillerinobot vs Idris Dev
| Idris Dev | Tillerinobot | |
|---|---|---|
| Stars | 3,382 | 329 |
| Downloads | ||
| Dependent Packages | ||
| Dependent Repos | 10 | |
| Most Recent Commit | 4 months ago | 3 months ago |
| Total Releases | 71 | |
| Latest Release | October 22, 2021 | |
| Open Issues | 708 | 13 |
| License | other | |
| Programming Language | Haskell | Java |