Alternatives and similar repositories for model-checker

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

• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆151Updated 2 months ago
• s3cur3 / llvm-data-structure-benchmarks
  A benchmark for cache efficient data structures.
  ☆30Updated 6 years ago
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆40Updated 3 months ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆14Updated this week
• 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
• mshockwave / nacro
  A better C/C++ macro extension. Implemented in Clang plugins. Inspired by Rust's macro system
  ☆65Updated 5 years ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆73Updated last week
• tetzank / coat
  EDSL for C++ to make just-in-time code generation easier
  ☆86Updated 2 years ago
• rusnikola / lfsmr
  Hyaline Reclamation (PLDI '21, PODC '19)
  ☆22Updated 3 years ago
• lifting-bits / gap
  A utility library to bridge llvm and mlir gaps.
  ☆13Updated 5 months ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆38Updated last year
• pabloariasal / couring
  C++20 Coroutines and io_uring
  ☆51Updated 2 years ago
• cmuparlay / flock
  Library for lock-free locks
  ☆82Updated last year
• google-research / automemcpy
  ☆20Updated 3 years ago
• JacksonAllan / c_cpp_hash_tables_benchmark
  A comparative, extendable benchmarking suite for C and C++ hash-table libraries.
  ☆34Updated last year
• nadavrot / fast_log
  A fast implementation of log() and exp()
  ☆53Updated 2 years ago
• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 3 years ago
• jeremy-rifkin / wyrm
  Wyrm is a GCC GIMPLE to LLVM IR transpiler
  ☆55Updated last year
• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆29Updated this week
• rusnikola / lfqueue
  A Scalable, Portable, and Memory-Efficient Lock-Free FIFO Queue (DISC '19)
  ☆58Updated last year
• jfalcou / raberu
  The Fancy Named Parameters Library
  ☆31Updated last month
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆37Updated this week
• frdwarf / dwarf-synthesis
  ☆29Updated 5 years ago
• drepper / optmark
  Markup source code showing optimizations
  ☆36Updated 5 years ago
• neumannt / exceptionperformance
  performance experiments for C++ exception handling
  ☆30Updated 3 years ago
• pavelkryukov / AoAoAoTT
  Interchangeable AoS and SoA containers
  ☆24Updated 2 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
• laithsakka / Grafter
  TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.
  ☆10Updated last year
• kavon / atJIT
  autotuning C++, just-in-time!
  ☆52Updated 5 years ago
• luhsra / chash
  CLang Plugin for calculating AST hashes
  ☆15Updated 6 years ago