mikeczech/PyVRank
Python package for predicting rankings of software verification competitions.
Public GitHub Catalog
Discovered Oct 21, 2026
mikeczech / cpachecker
CPAchecker, the Configurable Software-Verification Platform
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.
#42414255GitHub System ID
mikeczechOrganization / User
PublicVisibility
ActiveCatalog Status
More from mikeczech
mikeczech/JigsawJS
A collaborative jigsaw puzzle game written in Javascript / HTML5 / NodeJS
mikeczech/Lift-Draughts
A simple draughts UI that is written in Javascript / Scala / Lift / HTML5.