HeXXiiiZ/slate
A window management application (replacement for Divvy/SizeUp/ShiftIt)
Public GitHub Catalog
Discovered Oct 2, 2026
HeXXiiiZ / coquille
Interactive theorem proving with Coq in vim.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#23526254GitHub System ID
HeXXiiiZOrganization / User
PublicVisibility
ActiveCatalog Status
More from HeXXiiiZ
HeXXiiiZ/questionnaire
Stat 157 Questionnaire Data Wrangling
HeXXiiiZ/homework-01
Due September 03, 2013
HeXXiiiZ/reveal.js
The HTML Presentation Framework