Alternatives and similar repositories for model-checker:

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

• tetzank / coat
  EDSL for C++ to make just-in-time code generation easier
  ☆85Updated 2 years ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆14Updated last week
• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 2 years ago
• iains / clang-cxx20-modules
  Experimental patches to implement missing C++20 modules features for the clang/LLVM toolchain.
  ☆23Updated 3 years ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆73Updated this week
• cmuparlay / flock
  Library for lock-free locks
  ☆77Updated last year
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆147Updated last week
• compiler-tree-technologies / cil
  Generates CIL MLIR dialect from C/C++ source.
  ☆32Updated 4 years ago
• WojciechMula / man-intrinsics
  Create man pages from information used by Intel Intrinsics Guide and optionally uops.info
  ☆45Updated 3 months ago
• JacksonAllan / c_cpp_hash_tables_benchmark
  A comparative, extendable benchmarking suite for C and C++ hash-table libraries.
  ☆34Updated 10 months ago
• lifting-bits / gap
  A utility library to bridge llvm and mlir gaps.
  ☆13Updated 3 months ago
• kavon / atJIT
  autotuning C++, just-in-time!
  ☆51Updated 5 years ago
• drti / drti
  Dynamic runtime inlining with LLVM
  ☆66Updated 3 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• jeremy-rifkin / wyrm
  Wyrm is a GCC GIMPLE to LLVM IR transpiler
  ☆55Updated last year
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆40Updated last month
• 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 2 years ago
• google-research / automemcpy
  ☆20Updated 2 years ago
• usi-systems / freud
  Freud, a tool to create Performance Annotations for C/C++ programs
  ☆21Updated 8 months ago
• s3cur3 / llvm-data-structure-benchmarks
  A benchmark for cache efficient data structures.
  ☆30Updated 6 years ago
• sillycross / PochiVM
  Lightweight framework for easy and efficient code generation
  ☆100Updated 7 months ago
• neumannt / exceptionperformance
  performance experiments for C++ exception handling
  ☆30Updated 3 years ago
• mshockwave / nacro
  A better C/C++ macro extension. Implemented in Clang plugins. Inspired by Rust's macro system
  ☆65Updated 4 years ago
• drepper / optmark
  Markup source code showing optimizations
  ☆36Updated 5 years ago
• novt-vtable-less-compiler / novt-llvm
  NoVT is a compiler-based defense against vtable hijacking in C++ programs. It compiles C++ programs without using vtables.
  ☆50Updated 2 years ago
• rusnikola / lfqueue
  A Scalable, Portable, and Memory-Efficient Lock-Free FIFO Queue (DISC '19)
  ☆55Updated last year
• opencompl / mlir-fuzz
  A enumerator for MLIR, relying on the information given by IRDL.
  ☆19Updated last week
• rusnikola / lfsmr
  Hyaline Reclamation (PLDI '21, PODC '19)
  ☆20Updated 3 years ago
• makslevental / mmlir
  A minimal (really) out-of-tree MLIR example
  ☆44Updated last week
• luhsra / chash
  CLang Plugin for calculating AST hashes
  ☆15Updated 6 years ago