romac/homebrew-extras
๐ป Additional recipes for use by brew
Public GitHub Catalog
Discovered Oct 6, 2026
romac / 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.
#31162331GitHub System ID
romacOrganization / User
PublicVisibility
ActiveCatalog Status
More from romac
romac/cs211-project
EPFL CS-211 Project (Visual Computing)
romac/cargo-watch
Run a Cargo command everytime a source file changes (DEPRECATED)
romac/slur
๐ง Stupid simple interpreter for a subset of Scheme, in Scala