Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Milewski Ctfp Pdf | 10,547 | 4 months ago | 53 | other | TeX | |||||
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source | ||||||||||
Algoxy | 5,929 | 3 months ago | 1 | TeX | ||||||
Book of Elementary Functional Algorithms and Data structures | ||||||||||
Sofp | 1,250 | 3 months ago | 4 | gpl-2.0 | TeX | |||||
A free book: "The Science of Functional Programming" | ||||||||||
Talk 2015 Essence And Origins Of Frp | 411 | 4 months ago | 1 | TeX | ||||||
A keynote talk for LambdaJam 2015 (July 15--16) | ||||||||||
Latex Beamerposter | 317 | 2 years ago | 2 | gpl-2.0 | TeX | |||||
The LaTeX beamerposter package | ||||||||||
Haskellmooc | 141 | 7 years ago | TeX | |||||||
"Introduction to Functional Programming in Haskell", a Glasgow University Computing Science MOOC to be hosted on FutureLearn in October 2016 | ||||||||||
Talk 2014 Lambdajam Denotational Design | 117 | 4 months ago | TeX | |||||||
Talk material for LambdaJam 2014/2015 on denotational design | ||||||||||
Talk 2014 Bayhac Denotational Design | 88 | 8 years ago | 1 | TeX | ||||||
Denotational Design: from programs to meanings | ||||||||||
Functional Programming | 75 | 3 months ago | TeX | |||||||
This is a course in functional and concurrent programming given at KTH. | ||||||||||
Betterinformatics | 66 | 3 months ago | 12 | other | TeX | |||||
Welcome to Better Informatics. The student run website for students in the School of Informatics. |