Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Papers We Love | 76,838 | 7 months ago | 1 | April 19, 2022 | 15 | Shell | ||||
Papers from the computer science community to read and discuss. | ||||||||||
Functional Programming | 2,568 | 5 years ago | 7 | unlicense | Haskell | |||||
Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python | ||||||||||
10pl | 728 | 4 years ago | 1 | |||||||
10 papers that all PhD students in programming languages ought to know, for some value of 10 | ||||||||||
Black | 162 | 4 years ago | Scheme | |||||||
Kenichi Asai's reflective programming language Black | ||||||||||
Icfp2017 Papers | 141 | 6 years ago | ||||||||
Link to preprints for ICFP'17 and colocated events | ||||||||||
Bibliography | 125 | a year ago | 11 | Scheme | ||||||
Bibliography of Scheme research (readscheme.org and beyond) | ||||||||||
Proxsdp.jl | 84 | 3 months ago | 15 | mit | Julia | |||||
Semidefinite programming optimization solver | ||||||||||
Metaocaml Bibliography | 78 | 8 months ago | ||||||||
MetaML and MetaOCaml bibliography | ||||||||||
Icfp2013 Papers | 73 | 8 years ago | ||||||||
List of ICFP'13 accepted papers, with links to preprint or additional information when available | ||||||||||
Eff | 63 | 6 years ago | F# | |||||||
A library for programming with Algebraic Effects in F# |