akathorn/leon
The Leon system for verification, synthesis, and more.
Public GitHub Catalog
Discovered Oct 19, 2026
akathorn / squall-example-project
Example showing how to use Squall
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.
#39639778GitHub System ID
akathornOrganization / User
PublicVisibility
ActiveCatalog Status
More from akathorn
akathorn/perfEval
Public repository.
akathorn/squall
An streaming / online query processing / analytics engine based on Apache Storm
akathorn/elfcala
Embedding logical frameworks in scala