Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Haskellerz | 213 | 4 years ago | HTML | |||||||
Notes and files from HaskellerZ meetups. | ||||||||||
Musictools | 39 | 9 months ago | mit | Agda | ||||||
Yesod Slides | 16 | 13 years ago | other | Haskell | ||||||
Slides from my Wellington FP Users Group presentation on Yesod | ||||||||||
Sat2015 Crypto | 14 | 9 years ago | bsd-3-clause | TeX | ||||||
Slides and examples to accompany the September 25th invited talk at SAT 2015 | ||||||||||
Tcplugins Zurihac2020 | 10 | 4 years ago | 2 | HTML | ||||||
ZuriHac 2020 GHC typechecker plugins project |