Alternatives and similar repositories for model-checker

Users that are interested in model-checker are comparing it to the libraries listed below

• s3cur3 / llvm-data-structure-benchmarks
  A benchmark for cache efficient data structures.
  ☆30Updated 6 years ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆150Updated last month
• tetzank / coat
  EDSL for C++ to make just-in-time code generation easier
  ☆86Updated 2 years ago
• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 2 years ago
• LPD-EPFL / ssmem
  ssmem is a simple object-based memory allocator with epoch-based garbage collection
  ☆34Updated 8 years ago
• rusnikola / lfqueue
  A Scalable, Portable, and Memory-Efficient Lock-Free FIFO Queue (DISC '19)
  ☆57Updated last year
• sillycross / PochiVM
  Lightweight framework for easy and efficient code generation
  ☆100Updated 9 months ago
• pabloariasal / couring
  C++20 Coroutines and io_uring
  ☆51Updated 2 years ago
• rusnikola / lfsmr
  Hyaline Reclamation (PLDI '21, PODC '19)
  ☆21Updated 3 years ago
• jfalcou / raberu
  The Fancy Named Parameters Library
  ☆31Updated 2 weeks ago
• nicola-gigante / bitvector
  A C++ container-like data structure for storing a vector of bits with fast appending on both sides and fast insertion in the middle, all …
  ☆26Updated 3 years ago
• JacksonAllan / c_cpp_hash_tables_benchmark
  A comparative, extendable benchmarking suite for C and C++ hash-table libraries.
  ☆34Updated 11 months ago
• mshockwave / nacro
  A better C/C++ macro extension. Implemented in Clang plugins. Inspired by Rust's macro system
  ☆65Updated 4 years ago
• kavon / atJIT
  autotuning C++, just-in-time!
  ☆51Updated 5 years ago
• iains / clang-cxx20-modules
  Experimental patches to implement missing C++20 modules features for the clang/LLVM toolchain.
  ☆23Updated 3 years ago
• pavelkryukov / AoAoAoTT
  Interchangeable AoS and SoA containers
  ☆24Updated 2 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 5 months ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆74Updated last week
• nadavrot / fast_log
  A fast implementation of log() and exp()
  ☆53Updated 2 years ago
• cmuparlay / flock
  Library for lock-free locks
  ☆78Updated last year
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆14Updated 3 weeks ago
• luhsra / chash
  CLang Plugin for calculating AST hashes
  ☆15Updated 6 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆38Updated last year
• drepper / optmark
  Markup source code showing optimizations
  ☆36Updated 5 years ago
• mshockwave / SQLGen
  Generate SQL from TableGen code - This is part of the tutorial "How to write a TableGen backend" in 2021 LLVM Developers' Meeting.
  ☆29Updated 2 years ago
• jeremy-rifkin / wyrm
  Wyrm is a GCC GIMPLE to LLVM IR transpiler
  ☆55Updated last year
• InstLatx64 / InstLatX64_Demo
  InstLatX64_Demo
  ☆43Updated last week
• travisdowns / concurrency-hierarchy-bench
  Supporting code for the concurrency hierarchy described in this blog post: https://travisdowns.github.io/blog/2020/07/06/concurrency-cost…
  ☆26Updated 3 years ago
• qlibs / jmp
  C++20 Static Branch library
  ☆59Updated last week
• drti / drti
  Dynamic runtime inlining with LLVM
  ☆66Updated 3 years ago