ploc/wp-local-tactic
enable the specification of tactics to be used for a given ACSL block specification
Public GitHub Catalog
Discovered Sep 29, 2026
ploc / ocamlgraph
OCaml graph library
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.
#16518902GitHub System ID
plocOrganization / User
PublicVisibility
ActiveCatalog Status