llvm-mirror / klee

Related projects ⓘ

Alternatives and complementary repositories for klee

• llvm-mirror / dragonegg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆25Updated 5 years ago
• llvm-mirror / libclc
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆25Updated 5 years ago
• llvm-mirror / poolalloc
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆29Updated 9 years ago
• llvm-mirror / vmkit
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆31Updated 5 years ago
• NVIDIA / Forma
  DSL for stencils and image processing
  ☆13Updated 8 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.
  ☆107Updated 5 years ago
• dcdelia / tinyvm
  A simple VM to play with OSR in LLVM
  ☆14Updated 7 years ago
• blu / ascii_pruner
  Pruning of blanks from an ASCII stream - musings in AMD64 and ARM64
  ☆9Updated 3 years ago
• llvm-mirror / lnt
  Mirror of official llvm git repository located at http://llvm.org/git/lnt. Updated every five minutes.
  ☆12Updated 4 years ago
• riscvarchive / riscv-lld
  RISC-V port of LLVM Linker
  ☆24Updated 6 years ago
• art4711 / bmap_find
  finding set bits in large bitmaps
  ☆15Updated 8 years ago
• leaningtech / cheerp-bullet
  Bullet physics library ported to JavaScript with Cheerp
  ☆23Updated 8 years ago
• chapuni / llvm
  Chapuni's branch based on http://llvm.org/git/llvm.git
  ☆28Updated 9 years ago
• hfp / libxstream
  Library to program with streams, events, and to queue own functions into a stream.
  ☆16Updated 4 months ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• snefru / io.vypa.llvm
  LLVM Intellij Plugin
  ☆17Updated 6 years ago
• riscvarchive / riscv-strace
  RISC-V strace port
  ☆13Updated 8 years ago
• rwl / JLLVM
  A Java version of LLVM Core by Hao Liu
  ☆22Updated 11 years ago
• PolyJIT / polli
  Enable Polyhedral JIT compilation
  ☆9Updated 6 years ago
• nvidia-compiler-sdk / pynvvm
  Python bindings for libNVVM
  ☆37Updated 10 years ago
• kaigai / gpuinfo
  A utility to dump GPU's property
  ☆6Updated 9 years ago
• boostorg / tokenizer
  Boost.org tokenizer module
  ☆25Updated this week
• plasma-umass / Hound
  Hound memory leak detector
  ☆11Updated 6 years ago
• GaloisInc / nasa-affirm
  Architectural Framework For Integrated Refinement Modeling
  ☆11Updated 7 years ago
• rescrv / e
  Library containing high-performance datastructures and utilities for C++
  ☆72Updated 7 years ago
• brycelelbach / prana
  Prana is a library providing a generic AST data structure called utree
  ☆25Updated 13 years ago
• llvm-mirror / libunwind
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆65Updated 5 years ago
• boostorg / property_map
  Boost.org property_map module
  ☆15Updated this week
• haberman / dumpfp
  A small little tool for dumping a floating-point number in its native format
  ☆55Updated 9 years ago