elliottt/mavlink
MAVLink micro air vehicle marshalling / communication library
Public GitHub Catalog
Discovered Sep 24, 2026
elliottt / hol-light-haskell
A haskell translation of hol-light
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.
#1683238GitHub System ID
elliotttOrganization / User
PublicVisibility
ActiveCatalog Status
More from elliottt
elliottt/simple-smt
Public repository.
elliottt/sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
elliottt/huff
A fast-forward based planner for Haskell