pedrovereza/vcgen
Verification conditions generator for a simple language
Public GitHub Catalog
Discovered Nov 1, 2026
pedrovereza / m-knapsack
M-Knapsack problem solved using GLPK and a genetic algorithm.
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.
#46595700GitHub System ID
pedroverezaOrganization / User
PublicVisibility
ActiveCatalog Status
More from pedrovereza
pedrovereza/trySwiftCodeOfConduct
Code of Conduct for the try! Swift conference, happening in Tokyo, Japan on March 2nd - 4th
pedrovereza/Neon
A powerful Swift programmatic UI layout framework.
pedrovereza/PermissionScope
Intelligent iOS permissions UI and unified API