HeXXiiiZ/coquille
Interactive theorem proving with Coq in vim.
Public GitHub Catalog
Discovered Sep 27, 2026
HeXXiiiZ / reveal.js
The HTML Presentation Framework
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#9228437GitHub System ID
HeXXiiiZOrganization / User
PublicVisibility
ActiveCatalog Status
More from HeXXiiiZ
HeXXiiiZ/slate
A window management application (replacement for Divvy/SizeUp/ShiftIt)
HeXXiiiZ/questionnaire
Stat 157 Questionnaire Data Wrangling
HeXXiiiZ/homework-01
Due September 03, 2013