GaloisInc/mavelous
multi-platform ground station for drones that speak the MAVLink protocol
Public GitHub Catalog
Discovered Oct 7, 2026
GaloisInc / cabal
Official upstream development repository for Cabal and cabal-install
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.
#34277996GitHub System ID
GaloisIncOrganization / User
PublicVisibility
ActiveCatalog Status
More from GaloisInc
GaloisInc/wai
Haskell Web Application Interface
GaloisInc/saw-script
The Software Analysis Workbench
GaloisInc/saw-core
The SAW core language.