Similar repositories to secure-compilation/SecurePtrs:

• secure-compilation/SecurePtrs github similar
• sweirich/graded-haskell github similar
• larsk21/iris-lean github similar
• arthuraa/extructures github similar
• coq-community/semantics github similar
• leoprover/Leo-III github similar
• SSProve/ssprove github similar
• vellvm/vellvm-legacy github similar
• jonsterling/agda-calf github similar
• coq/stdlib2 github similar
• adampetcher/fcf github similar
• coq-community/autosubst github similar
• GaloisInc/grift github similar
• WasmCert/WasmCert-Coq github similar
• metaocaml/metaocaml-bibliography github similar
• DeepSpec/dsss17 github similar
• CertiCoq/certicoq github similar
• jasmin-lang/jasmin github similar
• mit-plv/riscv-semantics github similar
• smtcoq/smtcoq github similar
• MetaCoq/metacoq github similar
• vprover/vampire github similar
• Andromedans/andromeda github similar
• jscert/jscert github similar
• andrejbauer/spartan-type-theory github similar
• stedolan/counterexamples github similar
• QuickChick/QuickChick github similar
• ott-lang/ott github similar
• math-comp/math-comp github similar
• Kha/electrolysis github similar
• ocaml-multicore/effects-examples github similar
• akeep/nanopass-framework github similar
• mit-plv/fiat-crypto github similar
• agda/cubical github similar
• cpitclaudel/company-coq github similar
• koka-lang/madoko github similar
• rems-project/sail github similar
• tchajed/coq-tricks github similar
• AndrasKovacs/smalltt github similar
• higham/what-is github similar