ale-f/big-red
A graphical development environment for bigraphs, built upon Eclipse.
Public GitHub Catalog
Discovered Oct 14, 2026
ale-f / coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
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.
#37914128GitHub System ID
ale-fOrganization / User
PublicVisibility
ActiveCatalog Status
More from ale-f
ale-f/bigmc
Bigraphical Model Checker