Similar repositories to GaloisInc/abide:

• GaloisInc/abide github similar
• kquick/devnix github similar
• Ptival/language-coq github similar
• jmchapman/categories github similar
• experimental-dustbin/alloy-models github similar
• gvolpe/split-morphism github similar
• UniMath/SetHITs github similar
• gallais/agdarky github similar
• isovector/nimic github similar
• jmchapman/Relative-Monads github similar
• travitch/build-bom github similar
• haskellari/some github similar
• kcsongor/typelevel-prelude github similar
• DRMacIver/shrinkray github similar
• pigworker/TypesWhoSayNi github similar
• jpaykin/LNLHaskell github similar
• tazjin/yants github similar
• tchajed/coq-record-update github similar
• kwf/myxine github similar
• FreeProving/free-compiler github similar
• GaloisInc/saw-core github similar
• matt-noonan/gdp github similar
• votd/vulnerability-of-the-day github similar
• aisamanra/s-cargot github similar
• MaiaVictor/ESCoC github similar
• gelisam/typelevel-rewrite-rules github similar
• gelisam/category-syntax github similar
• isovector/cccc github similar
• isovector/type-sets github similar
• awodey/CatLogNotes github similar
• sdiehl/cabal-edit github similar
• coq-community/manifesto github similar
• Bodigrim/logict github similar
• matt-noonan/justified-containers github similar
• jedisct1/was-not-wasm github similar
• luc-tielen/eclair-lang github similar
• GaloisInc/cclyzerpp github similar
• gelisam/klister github similar
• owickstrom/motor github similar
• gallais/agdarsec github similar