JoshRosen/ScalaZ3
Binders and more to the Z3 SMT solver for Scala
Public GitHub Catalog
Discovered Oct 1, 2026
JoshRosen / pyqver
Identify the minimum Python version required for a given script
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.
#22242645GitHub 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