amirsh/ScalaZ3
Binders and more to the Z3 SMT solver for Scala
Public GitHub Catalog
Discovered Oct 6, 2026
amirsh / leon
The Leon system for verification, synthesis, and more.
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.
#32871833GitHub System ID
amirshOrganization / User
PublicVisibility
ActiveCatalog Status
More from amirsh
amirsh/scala-offheap
Type-safe off-heap memory for Scala.
amirsh/squall
An streaming / online query processing / analytics engine based on Apache Storm
amirsh/cake-benchmark
Benchmarking the performance of cake patterns in Scala