| key | value |
|---|---|
| id | 9889220 |
| name | idris-type-providers |
| full_name | david-christiansen/idris-type-providers |
| html_url | https://github.com/david-christiansen/idris-type-providers |
| description | Type provider library for Idris |
| created_at | May 6, 2013, 2:59 p.m. |
| updated_at | Feb. 13, 2024, 3:21 a.m. |
| pushed_at | Dec. 21, 2017, 7:32 p.m. |
| size | 222 |
| stargazers_count | 86 |
| watchers_count | 9 |
| forks_count | 6 |
| open_issues | 2 |
| language | Idris |
| awesome_list |