key | value |
---|---|
id | 33838632 |
name | purescript-prelude |
full_name | purescript/purescript-prelude |
html_url | https://github.com/purescript/purescript-prelude |
description | The PureScript Prelude |
created_at | April 12, 2015, 11:46 p.m. |
updated_at | Dec. 20, 2024, 8:37 a.m. |
pushed_at | Jan. 25, 2024, 3:58 p.m. |
size | 372 |
stargazers_count | 163 |
watchers_count | 16 |
forks_count | 87 |
open_issues | 30 |
language | PureScript |
awesome_list |