Stefan Muller's repositories
examdomizer
Generation of exams from a template with a pool of questions
cbv-icfp-2017
The Cult of the Bound Variable's 2017 ICFP Programming Contest entry
Language:Standard ML000
CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
Language:PythonNOASSERTION000
domainslib
Parallel Programming over Domains
Language:OCamlISC000
Language:OCamlGPL-3.0000
Language:OCaml000
Language:Standard ML000