bvdelft/openjml-web
Web-interface for the OpenJML checker
Public GitHub Catalog
Discovered Oct 2, 2026
bvdelft / spin-web
Web-interface for the Spin model checker.
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.
#23548277GitHub System ID
bvdelftOrganization / User
PublicVisibility
ActiveCatalog Status
More from bvdelft
bvdelft/java8
Exploring new Java 8 features
bvdelft/paragon
Paragon
bvdelft/PyOpaque
Create opaque Python objects via encapsulation