Alternatives and similar repositories for verification-manifest:

Users that are interested in verification-manifest are comparing it to the libraries listed below

• google / coq-bpf
  Coq BPF interpreter
  ☆19Updated 7 years ago
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• seL4 / capdl
  Capability Distribution Language tools for seL4
  ☆35Updated 2 weeks ago
• MateVM / MateVM
  A Java JIT compiler written in Haskell
  ☆72Updated 11 years ago
• llvm-mirror / zorg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆20Updated 5 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• google / ohmu
  Compiler intermediate language for static analysis.
  ☆108Updated 6 years ago
• llvm-mirror / dragonegg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆25Updated 6 years ago
• runtimeverification / k-editor-support
  Plugin files for editing K files
  ☆11Updated 7 months ago
• HOL-Theorem-Prover / hol-guidebook
  HOL Guidebook
  ☆11Updated 5 months ago
• edwinb / Protocols
  A DSL for describing and implementing communication protocols
  ☆83Updated 10 years ago
• llvm-mirror / klee
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆17Updated 8 years ago
• pirapira / coq2rust
  Coq to Rust program extraction. The whole tree is on the original Coq code base.
  ☆222Updated 10 years ago
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 8 years ago
• mischief / rust-uefi
  ☆15Updated 7 years ago
• ajhc / ajhc
  A fork of jhc. And also a Haskell compiler.
  ☆134Updated 5 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 8 years ago
• tomahawkins / improve
  An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…
  ☆57Updated 13 years ago
• google / capsicum-test
  Test suite for Capsicum
  ☆46Updated 5 months ago
• Ericson2314 / lighthouse
  Haskell User's Operating System and Environment -- with Lightweight Concurrency. (I, Ericson2314 did not write this at all)
  ☆29Updated 11 years ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆150Updated 4 years ago
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆120Updated 3 years ago
• andrewchambers / qc
  quick c
  ☆35Updated 3 years ago
• GaloisInc / RSA
  Haskell RSA Library
  ☆20Updated 3 years ago
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆49Updated 2 weeks ago
• sergey-worm / wrmos
  RTOS based on L4 microkernel.
  ☆16Updated 6 years ago
• AccelerateHS / accelerate-llvm
  LLVM backend for Accelerate
  ☆164Updated 6 months ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆124Updated 10 years ago
• google / mt
  Modern, minimalist, minty-fresh terminal
  ☆52Updated 7 years ago