Alternatives and similar repositories for klee

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

• llvm-mirror / dragonegg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆25Updated 7 years ago
• llvm-mirror / vmkit
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆30Updated 7 years ago
• llvm-mirror / libclc
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆26Updated 6 years ago
• reverbrain / react
  Realtime call tree for C++
  ☆39Updated 11 years ago
• google / ohmu
  Compiler intermediate language for static analysis.
  ☆107Updated 7 years ago
• cilkplus / llvm
  The cilkplus/llvm repo implements the Intel Cilk Plus language extensions to C and C++ in LLVM.
  ☆70Updated 9 years ago
• llvm-mirror / libunwind
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆65Updated 6 years ago
• divanburger / fragbyte
  GLSL to bytecode compiler and VM
  ☆10Updated 9 years ago
• art4711 / bmap_find
  finding set bits in large bitmaps
  ☆15Updated 10 years ago
• leaningtech / cheerp-bullet
  Bullet physics library ported to JavaScript with Cheerp
  ☆23Updated 9 years ago
• dibyendumajumdar / dmr_c
  dmr_C is a C parser and JIT compiler with LLVM, Eclipse OMR and NanoJIT backends
  ☆54Updated 6 years ago
• scotts / streamflow
  Lock-free multithreaded memory allocation
  ☆110Updated 8 years ago
• nany-lang / nanyc
  Official compiler for the Nany Programming Language {read-only mirror from gitlab}
  ☆12Updated 7 years ago
• qzmfranklin / cppgm
  C++ compiler, from scratch. Only completed the preprocessing tokenizer yet.
  ☆12Updated 7 years ago
• ishiura-compiler / CF3
  "CF3" is a C compiler test suite targeting arithmetic optimization.
  ☆37Updated 8 years ago
• doublec / nanojit
  Fork of Adobe/Mozilla lightweight library for generating machine code from C++
  ☆35Updated 15 years ago
• chapuni / llvm
  Chapuni's branch based on http://llvm.org/git/llvm.git
  ☆30Updated 10 years ago
• GJDuck / GC
  A lightweight conservative garbage collector for C/C++
  ☆122Updated 7 years ago
• tomaszkam / proposals
  C++ standard proposals
  ☆16Updated 5 years ago
• stevenknown / xocfe
  XOCFE is an concise, clearly, C compiler frontend, it is easy to understand and modify. XOCFE's input is pure C, output is an AST tree.
  ☆55Updated 2 months ago
• leaningtech / cheerp-libcxx
  Legacy repo, migrated to cheerp-compiler monorepo
  ☆31Updated 4 years ago
• archiecobbs / jcvm
  Java virtual machine implementation that converts class files into C source files (HISTORICAL)
  ☆16Updated 10 years ago
• llvm-mirror / polly
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆88Updated 6 years ago
• wdv4758h / Yeppp
  *Unofficial* mirror of https://bitbucket.org/MDukhan/yeppp
  ☆40Updated 8 years ago
• rmind / libcdb
  NetBSD cdb (constant database) library
  ☆14Updated 6 years ago
• s-kanev / XIOSim
  A detailed michroarchitectural x86 simulator
  ☆62Updated 8 years ago
• Naruil / SSMalloc
  A Low-latency, Locality-conscious Memory Allocator with Stable Performance Scalability
  ☆68Updated 12 years ago
• sutambe / cpp-generators
  Composable Data and Type Generators for C++
  ☆10Updated 6 years ago
• lemire / SIMDIntersections
  Vectorized intersections (research code)
  ☆16Updated 8 years ago
• llvm-mirror / pstl
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆35Updated 6 years ago