honghaoz/2048X
Public repository.
Public GitHub Catalog
Discovered Sep 30, 2026
honghaoz / Static-analysis-bug-detection-tool
Inferring Likely Invariants for Bug Detection
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.
#18338215GitHub System ID
honghaozOrganization / User
PublicVisibility
ActiveCatalog Status
More from honghaoz
honghaoz/ZHDatePicker
Customized background color, font, font color ...
honghaoz/awesome-swift
A curated list of awesome Swift frameworks, libraries and software.
honghaoz/Swift-CAAnimation-Closure
Swift extension which adds start, animating and completion closures for CAAnimation objects. Aka, CAAnimation + Closure / Block