samuelgruetter/leon
The Leon system for verification, synthesis, and more.
Public GitHub Catalog
Discovered Oct 6, 2026
samuelgruetter / learning-rxjava
Examples of using RxJava
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.
#33325702GitHub System ID
samuelgruetterOrganization / User
PublicVisibility
ActiveCatalog Status
More from samuelgruetter
samuelgruetter/scaladiagrams
Generate class diagrams from scala source code
samuelgruetter/RxSwing
RxJava bindings for Swing
samuelgruetter/dot-calculus
Formalization of the Dependent Object Types (DOT) calculus