Alternatives and similar repositories for tpot:

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

• verus-lang / verified-memory-allocator
  A memory allocator verified with Verus
  ☆20Updated last month
• utaal / verified-nrkernel
  ☆18Updated 2 weeks ago
• tamaroning / wanco
  WebAssembly AOT compiler with cross-CPU checkpoint/restore support
  ☆13Updated this week
• microsoft / verus-proof-synthesis
  ☆32Updated 3 weeks ago
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 3 years ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆54Updated last year
• ssrg-vt / libhermitMPK
  Intra-Unikernel Isolation with Intel Memory Protection Keys
  ☆12Updated 5 years ago
• rems-project / cerberus
  Cerberus C semantics
  ☆61Updated this week
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆66Updated 2 months ago
• tchajed / sys-verif-fa24
  Course website for Systems Verification Fall 2024
  ☆11Updated 3 weeks ago
• au-ts / libvmm
  An experimental virtual machine monitor for the seL4 microkernel
  ☆38Updated 2 weeks ago
• hopv / hoice
  An ICE-based predicate synthesizer for Horn clauses.
  ☆50Updated last year
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆148Updated last month
• hopv / rust-horn
  RustHorn: A CHC-based automated verifier for Rust
  ☆78Updated last month
• usi-verification-and-security / golem
  Solver for Constrained Horn Clauses
  ☆38Updated last week
• formalsec / wasp
  WASP was superseded by: https://github.com/OCamlPro/owi
  ☆15Updated 8 months ago
• uw-unsat / exoverifier
  ☆17Updated last year
• jiezhoucs / must-read
  Lists of must-read papers (mainly security papers)
  ☆30Updated 7 months ago
• uw-unsat / serval
  ☆47Updated 3 years ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆36Updated 8 months ago
• uuverifiers / tricera
  TriCera: a model checker for C programs
  ☆25Updated last week
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆44Updated 4 months ago
• rems-project / rmem
  rmem public repo
  ☆41Updated last month
• CertiCoq / VeriFFI
  VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …
  ☆44Updated 4 months ago
• cispa / mwait
  Proof-of-concept implementation for the paper "(M)WAIT for It: Bridging the Gap between Microarchitectural and Architectural Side Channel…
  ☆25Updated last year
• uw-unsat / yggdrasil
  ☆31Updated 3 years ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆73Updated last week
• hiroshi-unno / coar
  Collection of Automated Reasoners
  ☆28Updated 3 months ago
• SoftSec-KAIST / SURI
  Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)
  ☆13Updated last month
• alastairreid / asl-interpreter
  Example implementation of Arm's Architecture Specification Language (ASL)
  ☆41Updated last month