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 6 years ago
• reverbrain / react
  Realtime call tree for C++
  ☆39Updated 11 years ago
• llvm-mirror / vmkit
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆30Updated 6 years ago
• llvm-mirror / libclc
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆26Updated 6 years ago
• google / ohmu
  Compiler intermediate language for static analysis.
  ☆107Updated 6 years ago
• art4711 / bmap_find
  finding set bits in large bitmaps
  ☆15Updated 9 years ago
• leaningtech / cheerp-bullet
  Bullet physics library ported to JavaScript with Cheerp
  ☆23Updated 9 years ago
• cilkplus / llvm
  The cilkplus/llvm repo implements the Intel Cilk Plus language extensions to C and C++ in LLVM.
  ☆69Updated 9 years ago
• llvm-mirror / libunwind
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆65Updated 5 years ago
• nvidia-compiler-sdk / pynvvm
  Python bindings for libNVVM
  ☆37Updated 11 years ago
• tomaszkam / proposals
  C++ standard proposals
  ☆16Updated 5 years ago
• scotts / streamflow
  Lock-free multithreaded memory allocation
  ☆108Updated 8 years ago
• google / ced
  ☆57Updated 6 years ago
• dibyendumajumdar / dmr_c
  dmr_C is a C parser and JIT compiler with LLVM, Eclipse OMR and NanoJIT backends
  ☆53Updated 5 years ago
• lemire / SIMDIntersections
  Vectorized intersections (research code)
  ☆16Updated 8 years ago
• kobalicek / mpsl
  Shader-Like Mathematical Expression JIT Engine for C++ Language
  ☆59Updated 6 years ago
• ishiura-compiler / CF3
  "CF3" is a C compiler test suite targeting arithmetic optimization.
  ☆37Updated 8 years ago
• llvm-mirror / polly
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆88Updated 5 years ago
• divanburger / fragbyte
  GLSL to bytecode compiler and VM
  ☆10Updated 9 years ago
• yosefk / heapprof
  A 250 LOC heap profiler - easy to hack/port, works out of the box with dynamically linked Linux binaries
  ☆49Updated 6 months ago
• dcdillon / cpuaff
  C++ interface to CPU affinity management
  ☆30Updated 7 years ago
• hfp / libxstream
  Library to program with streams, events, and to queue own functions into a stream.
  ☆15Updated 2 weeks ago
• microsoft / mala
  Demonstrate how to construct an Event-driven system in a way that is intuitive and easier to understand.
  ☆18Updated 2 years ago
• Naios / swy
  A compiler for my educational research programming language that supports homogeneous metaprogramming
  ☆20Updated 8 years ago
• geon / gloss
  A bidirectional path tracer written in C.
  ☆52Updated 10 years ago
• qzmfranklin / cppgm
  C++ compiler, from scratch. Only completed the preprocessing tokenizer yet.
  ☆12Updated 7 years ago
• jfbastien / papers
  Papers for the C++ Standards Committee, WG21
  ☆57Updated 4 months ago
• rescrv / e
  Library containing high-performance datastructures and utilities for C++
  ☆74Updated 8 years ago
• google / varstruct
  ☆18Updated 8 years ago
• chapuni / llvm
  Chapuni's branch based on http://llvm.org/git/llvm.git
  ☆30Updated 9 years ago