pedrovereza/vcgen
Verification conditions generator for a simple language
Public GitHub Catalog
Discovered Oct 21, 2026
pedrovereza / fundamentos-algoritmos
INF05008 - Fundamentos de Algoritmos
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.
#41338401GitHub System ID
pedroverezaOrganization / User
PublicVisibility
ActiveCatalog Status
More from pedrovereza
pedrovereza/m-knapsack
M-Knapsack problem solved using GLPK and a genetic algorithm.
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.