JoshRosen/ScalaZ3
Binders and more to the Z3 SMT solver for Scala
Public GitHub Catalog
Discovered Sep 29, 2026
JoshRosen / decaf-release
http://decaf.berkeleyvision.org/
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#14004311GitHub System ID
JoshRosenOrganization / User
PublicVisibility
ActiveCatalog Status
More from JoshRosen
JoshRosen/spark-csv
CSV reader for Spark
JoshRosen/spark-avro
Integration utilities for using Spark with Apache Avro data
JoshRosen/scala-smtlib
SMT-LIB library for Scala