ppedrot/exploit-plugin
An OCaml version of the LTac "exploit" tactic, used as a tutorial for writing Coq plugins
Public GitHub Catalog
Discovered Oct 5, 2026
ppedrot / issection-tactic
A Coq tactic checking whether a variable is a section variable or not
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.
#30863356GitHub System ID
ppedrotOrganization / User
PublicVisibility
ActiveCatalog Status
More from ppedrot
ppedrot/ocaml-mediawiki
Public repository.
ppedrot/zamel
A tool to compute phonetic evolution on a lexicon
ppedrot/vitef
A junkyard to stuff bits of quick-n'-dirty code