| key | value |
|---|---|
| id | 12833563 |
| name | RingIdris |
| full_name | FranckS/RingIdris |
| html_url | https://github.com/FranckS/RingIdris |
| description | Ring solver for Idris |
| created_at | Sept. 14, 2013, 6:02 p.m. |
| updated_at | Aug. 12, 2022, 3:41 p.m. |
| pushed_at | Nov. 12, 2018, 12:18 p.m. |
| size | 961 |
| stargazers_count | 20 |
| watchers_count | 5 |
| forks_count | 4 |
| open_issues | 2 |
| language | Idris |
| awesome_list |