akathorn/squall-example-project
Example showing how to use Squall
Public repository discovered through GitHub real-time crawl.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Example showing how to use Squall
The Leon system for verification, synthesis, and more.
An streaming / online query processing / analytics engine based on Apache Storm
Embedding logical frameworks in scala