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
• 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
  ☆25Updated 5 years ago
• llvm-mirror / zorg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆20Updated 5 years ago
• google / ohmu
  Compiler intermediate language for static analysis.
  ☆108Updated 6 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• leaningtech / cheerp-bullet
  Bullet physics library ported to JavaScript with Cheerp
  ☆23Updated 9 years ago
• nvidia-compiler-sdk / pynvvm
  Python bindings for libNVVM
  ☆37Updated 10 years ago
• llvm-mirror / libunwind
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆65Updated 5 years ago
• haberman / dumpfp
  A small little tool for dumping a floating-point number in its native format
  ☆55Updated 9 years ago
• blu / ascii_pruner
  Pruning of blanks from an ASCII stream - musings in AMD64 and ARM64
  ☆10Updated 4 years ago
• art4711 / bmap_find
  finding set bits in large bitmaps
  ☆15Updated 9 years ago
• brycelelbach / coroutines_ts_v1_experience
  Infomation about C++ Coroutines TS v1 software and content
  ☆9Updated 6 years ago
• flavioc / meld
  Meld virtual machine.
  ☆29Updated 9 years ago
• reverbrain / react
  Realtime call tree for C++
  ☆39Updated 10 years ago
• naquin / native
  Native C++ Library
  ☆49Updated 9 years ago
• divanburger / fragbyte
  GLSL to bytecode compiler and VM
  ☆10Updated 8 years ago
• cilkplus / llvm
  The cilkplus/llvm repo implements the Intel Cilk Plus language extensions to C and C++ in LLVM.
  ☆68Updated 9 years ago
• Naios / swy
  A compiler for my educational research programming language that supports homogeneous metaprogramming
  ☆20Updated 7 years ago
• snefru / io.vypa.llvm
  LLVM Intellij Plugin
  ☆17Updated 6 years ago
• epfl-labos / wren
  Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store
  ☆8Updated 6 years ago
• lemire / costofsafety
  Quick experiment to see how expensive safety is in C, for research
  ☆12Updated 5 years ago
• llvm-mirror / polly
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆88Updated 5 years ago
• NVIDIA / Forma
  DSL for stencils and image processing
  ☆13Updated 8 years ago
• boostorg / property_map
  Boost.org property_map module
  ☆15Updated 2 months ago
• doublec / nanojit
  Fork of Adobe/Mozilla lightweight library for generating machine code from C++
  ☆35Updated 14 years ago
• brycelelbach / prana
  Prana is a library providing a generic AST data structure called utree
  ☆25Updated 13 years ago
• ishiura-compiler / CF3
  "CF3" is a C compiler test suite targeting arithmetic optimization.
  ☆37Updated 7 years ago
• hellige / ccs-cpp
  CCS in C++
  ☆25Updated last year
• boostorg / ptr_container
  Boost.org ptr_container module
  ☆14Updated 2 months ago