ichistmeinname/paramcoq
Coq plugin for parametricity
Files produced in group lessons
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
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
Public repository.