amirsh/ScalaZ3
Binders and more to the Z3 SMT solver for Scala
Public GitHub Catalog
Discovered Sep 29, 2026
amirsh / SCalAnalyser
Scala Call Analyser
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.
#14232316GitHub System ID
amirshOrganization / User
PublicVisibility
ActiveCatalog Status
More from amirsh
amirsh/scala-offheap
Type-safe off-heap memory for Scala.
amirsh/leon
The Leon system for verification, synthesis, and more.
amirsh/squall
An streaming / online query processing / analytics engine based on Apache Storm