keyvalue
id61795011
namesoftware-foundations
full_nameidris-hackers/software-foundations
html_urlhttps://github.com/idris-hackers/software-foundations
descriptionSoftware Foundations in Idris
created_atJune 23, 2016, 10:01 a.m.
updated_atFeb. 12, 2024, 5:50 p.m.
pushed_atMay 15, 2019, 7:06 p.m.
size4,461
stargazers_count447
watchers_count30
forks_count34
open_issues15
languageIdris
awesome_list

https://github.com/joaomilho/awesome-idris