DmxLarchey/Quicksort-in-Coq-for-students
Sujet de TP pour le Master 1 info de l'UL 2014-15
Public GitHub Catalog
Discovered Sep 25, 2026
DmxLarchey / Coq-Phase-Semantics
Coq Source for Relational Phase Semantics and Cut-elimination
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.
#4583755GitHub System ID
DmxLarcheyOrganization / User
PublicVisibility
ActiveCatalog Status
More from DmxLarchey
DmxLarchey/linux
A fix for I2C repeated starts, and a failed, but functioning, attempt at adding decent sub-microsecond timing for GPIO state changes on the Raspberry Pi. Ended up being between 8900 and 11000ns.