Similar repositories to dricketts/quadcopter:

• dricketts/quadcopter github similar
• gmalecha/mirror-shard github similar
• phadej/lens-laws github similar
• gmalecha/mirror-core github similar
• snu-sf/paco github similar
• maximedenes/native-coq github similar
• coq-community/manifesto github similar
• DeepSpec/dsss18 github similar
• coq-community/coq-ext-lib github similar
• LPCIC/coq-elpi github similar
• goblint/analyzer github similar
• mit-plv/fiat github similar
• simhu/cubical github similar
• ekmett/propagators github similar
• NICTA/cogent github similar
• Deducteam/Dedukti github similar
• nasa/pvslib github similar
• lukaszcz/coqhammer github similar
• mit-plv/bedrock2 github similar
• LPCIC/elpi github similar
• uhub/awesome-coq github similar
• QuickChick/QuickChick github similar
• MetaCoq/metacoq github similar
• antalsz/hs-to-coq github similar
• Andromedans/andromeda github similar
• verifast/verifast github similar
• cpitclaudel/company-coq github similar
• GaloisInc/ivory github similar
• ligurio/practical-fm github similar
• GaloisInc/saw-script github similar
• seL4/l4v github similar
• HOL-Theorem-Prover/HOL github similar
• uwplse/verdi github similar
• TrustInSoft/tis-interpreter github similar
• berkeley-abc/abc github similar
• StanfordPL/stoke github similar
• UniMath/UniMath github similar
• GaloisInc/cryptol github similar
• HuwCampbell/grenade github similar
• AbsInt/CompCert github similar