| key | value |
|---|---|
| id | 13540219 |
| name | lightyear |
| full_name | ziman/lightyear |
| html_url | https://github.com/ziman/lightyear |
| description | Parser combinators for Idris |
| created_at | Oct. 13, 2013, 2:07 p.m. |
| updated_at | Nov. 17, 2024, 6:17 p.m. |
| pushed_at | April 11, 2019, 5:47 a.m. |
| size | 137 |
| stargazers_count | 239 |
| watchers_count | 14 |
| forks_count | 43 |
| open_issues | 10 |
| language | Idris |
| awesome_list |