| key | value |
|---|---|
| id | 63378472 |
| name | idris-protobuf |
| full_name | google/idris-protobuf |
| html_url | https://github.com/google/idris-protobuf |
| description | A partial implementation of Protocol Buffers in Idris |
| created_at | July 15, 2016, 12:20 a.m. |
| updated_at | Oct. 25, 2024, 12:34 p.m. |
| pushed_at | Aug. 12, 2017, 11:02 p.m. |
| size | 113 |
| stargazers_count | 30 |
| watchers_count | 3 |
| forks_count | 11 |
| open_issues | 2 |
| language | Idris |
| awesome_list |