ichistmeinname/paramcoq
Coq plugin for parametricity
Master's thesis
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Coq plugin for parametricity
Files produced in group lessons
A Haskell library which provides the basic building blocks for creating powerful indexing and search applications.
A small website for our Bundesliga sports bet 2015/16