| key | value |
|---|---|
| id | 116189644 |
| name | idream |
| full_name | idream-build/idream |
| html_url | https://github.com/idream-build/idream |
| description | A simple build system for Idris |
| created_at | Jan. 3, 2018, 10:47 p.m. |
| updated_at | Aug. 7, 2024, 11:20 p.m. |
| pushed_at | March 19, 2021, 11:53 p.m. |
| size | 3,501 |
| stargazers_count | 22 |
| watchers_count | 1 |
| forks_count | 2 |
| open_issues | 0 |
| language | Haskell |
| awesome_list |