jcoveney/leon
The Leon system for verification, synthesis, and more.
Public GitHub Catalog
Discovered Oct 6, 2026
jcoveney / spark-1
Mirror of Apache Spark
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.
#33141654GitHub System ID
jcoveneyOrganization / User
PublicVisibility
ActiveCatalog Status
More from jcoveney
jcoveney/course
Functional Programming Course
jcoveney/intellij-pants-plugin
Public repository.
jcoveney/pants
Pants Build System