ab-passos/MFES-Group1
MFES - Design by contract
Public GitHub Catalog
Discovered Sep 24, 2026
ab-passos / Vilas
Vilas e nunes aplicação
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.
#1469885GitHub System ID
ab-passosOrganization / User
PublicVisibility
ActiveCatalog Status
More from ab-passos
ab-passos/ciltests
Experiences with CIL
ab-passos/Non-Blocking-Linked-List
Non-Blocking-Linked-List
ab-passos/uppaal-work
Uppaal examples