regb/scala-smtlib
Scala library for parsing and printing the SMT-LIB format
Public GitHub Catalog
Discovered Sep 26, 2026
regb / leon
The Leon system for verification, synthesis, and more.
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.
#7661278GitHub System ID
regbOrganization / User
PublicVisibility
ActiveCatalog Status
More from regb
regb/recipe-book
My favourite recipes
regb/passman
Password manager for unix
regb/kalec
2d game in C++