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 / libclc
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆25Updated 5 years ago
• llvm-mirror / vmkit
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆30Updated 6 years ago
• llvm-mirror / zorg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆20Updated 5 years ago
• brycelelbach / coroutines_ts_v1_experience
  Infomation about C++ Coroutines TS v1 software and content
  ☆9Updated 6 years ago
• nvidia-compiler-sdk / pynvvm
  Python bindings for libNVVM
  ☆37Updated 11 years ago
• blu / ascii_pruner
  Pruning of blanks from an ASCII stream - musings in AMD64 and ARM64
  ☆10Updated 4 years ago
• boostcon / cppnow_website
  Jekyll site for C++Now!
  ☆9Updated 7 years ago
• haberman / dumpfp
  A small little tool for dumping a floating-point number in its native format
  ☆55Updated 9 years ago
• art4711 / bmap_find
  finding set bits in large bitmaps
  ☆15Updated 9 years ago
• NVIDIA / Forma
  DSL for stencils and image processing
  ☆13Updated 8 years ago
• llvm-mirror / libunwind
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆65Updated 5 years ago
• lanl / ares
  Project ARES represents a joint effort between LANL and ORNL to introduce a common compiler representation and tool-chain for HPC applica…
  ☆10Updated 8 years ago
• boostorg / ptr_container
  Boost.org ptr_container module
  ☆15Updated last month
• llvm-mirror / test-suite
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆33Updated 5 years ago
• StanfordPL / cpputil
  Miscellaneous utility code for c++ projects.
  ☆18Updated 6 years ago
• leaningtech / cheerp-bullet
  Bullet physics library ported to JavaScript with Cheerp
  ☆23Updated 9 years ago
• llvm-mirror / polly
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆87Updated 5 years ago
• atomicflag / chrome_remote
  Chromium DevTools remote for C++
  ☆11Updated 7 years ago
• llvm-mirror / poolalloc
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆30Updated 9 years ago
• google / ohmu
  Compiler intermediate language for static analysis.
  ☆108Updated 6 years ago
• boostorg / integer
  Boost.org integer module
  ☆17Updated 3 weeks ago
• llvm-mirror / pstl
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆34Updated 5 years ago
• yosefk / heapprof
  A 250 LOC heap profiler - easy to hack/port, works out of the box with dynamically linked Linux binaries
  ☆50Updated 2 months ago
• cilkplus / llvm
  The cilkplus/llvm repo implements the Intel Cilk Plus language extensions to C and C++ in LLVM.
  ☆68Updated 9 years ago
• boostorg / property_map
  Boost.org property_map module
  ☆15Updated last month
• AzulSystems / llvm-late-safepoint-placement
  This repo is now stale; all changes have been integrated into upstream LLVM. (Was: A proof of concept implementation of proposed support…
  ☆27Updated 10 years ago
• philsquared / scape
  A header-only, modern C++, library for terminal colours and cursor manipulation
  ☆17Updated 7 years ago
• sutambe / cpp-generators
  Composable Data and Type Generators for C++
  ☆10Updated 6 years ago
• hfp / libxstream
  Library to program with streams, events, and to queue own functions into a stream.
  ☆16Updated 10 months ago