Similar repositories to micro-policies/verified-ifc:

• micro-policies/verified-ifc github similar
• arthuraa/memory-safe-language github similar
• micro-policies/micro-policies-coq github similar
• SSProve/ssprove github similar
• coq/stdlib2 github similar
• adampetcher/fcf github similar
• Mtac2/Mtac2 github similar
• grnet/zeus github similar
• mit-plv/riscv-semantics github similar
• jasmin-lang/jasmin github similar
• coq-community/coq-ext-lib github similar
• herd/herdtools7 github similar
• NICTA/cogent github similar
• DeepSpec/InteractionTrees github similar
• EasyCrypt/easycrypt github similar
• project-everest/everparse github similar
• sifive/Kami github similar
• lukaszcz/coqhammer github similar
• QuickChick/QuickChick github similar
• rems-project/sail-riscv github similar
• MetaCoq/metacoq github similar
• vellvm/vellvm github similar
• jrh13/hol-light github similar
• akeep/nanopass-framework github similar
• FStarLang/kremlin github similar
• rems-project/sail github similar
• emina/rosette github similar
• GaloisInc/saw-script github similar
• vschiavoni/sgx-papers github similar
• seL4/l4v github similar
• math-comp/math-comp github similar
• mit-plv/fiat-crypto github similar
• JetBrains/Arend github similar
• CakeML/cakeml github similar
• AbsInt/CompCert github similar
• project-everest/hacl-star github similar
• FStarLang/FStar github similar
• seL4/seL4 github similar
• coq/coq github similar
• ghc/ghc github similar