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