key | value |
---|---|
id | 2386778 |
name | Idris-dev |
full_name | idris-lang/Idris-dev |
html_url | https://github.com/idris-lang/Idris-dev |
description | A Dependently Typed Functional Programming Language |
created_at | Sept. 14, 2011, 4:55 p.m. |
updated_at | April 19, 2024, 9:49 a.m. |
pushed_at | Jan. 2, 2024, 8:47 p.m. |
size | 38,273 |
stargazers_count | 3,409 |
watchers_count | 120 |
forks_count | 643 |
open_issues | 708 |
language | Haskell |
awesome_list |