| key | value |
|---|---|
| id | 24740996 |
| name | IdrisScript |
| full_name | idris-hackers/IdrisScript |
| html_url | https://github.com/idris-hackers/IdrisScript |
| description | FFI Bindings to interact with the unsafe world of JavaScript |
| created_at | Oct. 2, 2014, 11:43 p.m. |
| updated_at | April 2, 2024, 11:11 a.m. |
| pushed_at | Oct. 7, 2018, 5:57 p.m. |
| size | 47 |
| stargazers_count | 89 |
| watchers_count | 18 |
| forks_count | 11 |
| open_issues | 3 |
| language | Idris |
| awesome_list |