Alternatives and similar repositories for Termite

Users that are interested in Termite are comparing it to the libraries listed below

• sampsyo / quala
  custom type systems for Clang
  ☆98Updated 9 years ago
• rutgers-apl / alive-nj
  Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM
  ☆32Updated 5 years ago
• SRI-CSL / l3riscv
  An executable specification of the RISCV ISA in L3.
  ☆42Updated 6 years ago
• danluu / secvisor-formal-verification
  Formal verification of SecVisor, a secure hypervisor
  ☆12Updated 12 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• SRI-CSL / OCCAM
  OCCAM: Object Culling and Concretization for Assurance Maximization
  ☆26Updated 2 years ago
• rems-project / netsem
  Network Semantics
  ☆88Updated 6 years ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆55Updated last year
• rems-project / rmem
  rmem public repo
  ☆43Updated last month
• mangpo / greenthumb
  ☆88Updated 2 years ago
• ahorn / smt-kit
  C++11 library for many-sorted logics
  ☆39Updated 8 years ago
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• CTSRD-CHERI / beri
  The BERI and CHERI processor and hardware platform
  ☆49Updated 8 years ago
• mattulbrich / llreve
  Automatic regression verification for LLVM programs
  ☆19Updated 3 years ago
• dslab-epfl / cloud9
  The Cloud9 main repository
  ☆52Updated 11 years ago
• uw-unsat / yggdrasil
  ☆32Updated 3 years ago
• travitch / llvm-tools
  A set of tools for visualizing and inspecting LLVM bitcode modules
  ☆31Updated 10 years ago
• uw-unsat / hyperkernel
  ☆185Updated 5 years ago
• CTSRD-CHERI / cherios
  CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
  ☆40Updated 2 years ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆52Updated 4 years ago
• agra-uni-bremen / metaSMT
  ☆52Updated 9 years ago
• nidhugg / nidhugg
  Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…
  ☆81Updated 6 months ago
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆50Updated 3 months ago
• ramosian-glider / clang-kernel-build
  Steps to build the Linux kernel using Clang
  ☆101Updated 3 years ago
• echronos / echronos-proofs
  Isabelle/HOL proofs about the eChronos RTOS
  ☆11Updated 8 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆100Updated 4 years ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• alastairreid / mra_tools
  Tools to process ARM's Machine Readable Architecture Specification
  ☆131Updated 5 years ago
• ARM-software / asl-interpreter
  Example implementation of Arm's Architecture Specification Language (ASL)
  ☆117Updated 5 years ago