# Formal Verification repositories

Source: https://www.gstars.dev/c/formal-verification
Tracked repositories: 2
Ranking: Total stars

1. [fabio-rovai/open-ontologies](https://www.gstars.dev/repo/fabio-rovai/open-ontologies) — 2850 stars
2. [FloatingPragma/observer-patch-holography](https://www.gstars.dev/repo/FloatingPragma/observer-patch-holography) — 757 stars

Category/topic matches include curated categories and collected GitHub topics. Coverage is limited to tracked active, non-archived, non-fork repositories. See https://www.gstars.dev/methodology for measurement limits.