| key | value |
|---|---|
| id | 472875879 |
| name | Noq |
| full_name | tsoding/Noq |
| html_url | https://github.com/tsoding/Noq |
| description | Simple expression transformer that is not Coq. |
| created_at | March 22, 2022, 5:51 p.m. |
| updated_at | May 29, 2022, 8:33 a.m. |
| pushed_at | May 27, 2022, 4:27 p.m. |
| size | 343 |
| stargazers_count | 121 |
| watchers_count | 3 |
| forks_count | 10 |
| open_issues | 6 |
| language | Rust |