Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
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 | ||||||||||
Icfp2015 Papers | 47 | 8 years ago | Python | |||||||
Accepted papers for ICFP 2015 | ||||||||||
Metaprogramming | 40 | 4 years ago | 1 | lgpl-3.0 | Python | |||||
CS 1501 Student-Taught-Class at the University of Virginia | ||||||||||
Sam | 24 | 10 months ago | 33 | gpl-3.0 | Python | |||||
SAM is a multi-functional Discord Bot specifically designed for the Server of the Faculty of Computer Science at the University of Vienna. | ||||||||||
Eidi2_repetitorium_tum | 11 | 5 years ago | OCaml | |||||||
This repository is intended for the Functional Programming and Verification (EIDI2) revision courses 2016 and 2017 at the Technical University of Munich. | ||||||||||
Py4science | 8 | 13 years ago | Python | |||||||
Due Fsharp | 7 | 2 years ago | F# | |||||||
Study materials for the Introduction to Functional Programming in F# and Functional Web Development in F# courses at the University of Dunaujvaros. | ||||||||||
Fp_in_erlang | 5 | 4 years ago | Erlang | |||||||
My notes and excercises for University of Kent's "Functional Programming in Erlang" |