GaloisInc/why3
Haskell support for the Why3 input format
Public GitHub Catalog
Discovered Oct 21, 2026
GaloisInc / lean-haskell-bindings
Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/
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.
#41108158GitHub System ID
GaloisIncOrganization / User
PublicVisibility
ActiveCatalog Status
More from GaloisInc
GaloisInc/smaccmpilot-hardware-prep
Utilities to prepare stock Pixhawk hardware for use with SMACCMPilot
GaloisInc/adapt
ADAPT software for Transparent Computing
GaloisInc/stack
The Haskell Tool Stack