keyvalue
id21372955
nameiridium
full_namepuffnfresh/iridium
html_urlhttps://github.com/puffnfresh/iridium
descriptionxmonad with the X11 abstracted and configured with Idris
created_atJuly 1, 2014, 2:39 a.m.
updated_atOct. 29, 2024, 5:50 p.m.
pushed_atMay 31, 2019, 1:14 p.m.
size624
stargazers_count205
watchers_count18
forks_count9
open_issues6
languageIdris
awesome_list

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