amirsh/ScalaZ3
Binders and more to the Z3 SMT solver for Scala
Public GitHub Catalog
Discovered Sep 27, 2026
amirsh / typemacros-test
Public repository discovered through GitHub real-time crawl.
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.
#9214253GitHub 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