# Isabelle Language repositories

Source: https://www.gstars.dev/c/isabelle-language
Tracked repositories: 1
Ranking: Total stars

1. [fabio-rovai/open-ontologies](https://www.gstars.dev/repo/fabio-rovai/open-ontologies) — 2850 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.