HeXXiiiZ/coquille
Interactive theorem proving with Coq in vim.
Due September 03, 2013
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Interactive theorem proving with Coq in vim.
A window management application (replacement for Divvy/SizeUp/ShiftIt)
Stat 157 Questionnaire Data Wrangling
The HTML Presentation Framework