Alternatives and similar repositories for llvm-revec

Users that are interested in llvm-revec are comparing it to the libraries listed below

• mangpo / greenthumb
  ☆88Updated 2 years ago
• canalcache / canal
  ☆16Updated 5 years ago
• gleisonsdm / DawnCC-Compiler
  A source-to-source compiler for automatic parallelization of C programs through code annotation.
  ☆61Updated 5 years ago
• MPACT-ORG / llvm-project
  The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github…
  ☆31Updated last month
• animetosho / jit_smc_test
  Test self-modifying code behaviour on processors for single-use JIT functions
  ☆52Updated 4 years ago
• emeryberger / dthreads
  dthreads: Efficient Deterministic Multithreading
  ☆51Updated 10 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆105Updated 9 months ago
• llvm-mirror / polly
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆87Updated 5 years ago
• uw-unsat / hyperkernel
  ☆183Updated 5 years ago
• CTSRD-CHERI / cheri-c-programming
  CHERI C/C++ Programming Guide
  ☆31Updated 3 weeks ago
• columbia / libtrack
  Library wrapper and system-level tracing utilities
  ☆46Updated 8 years ago
• UTSASRG / Guarder
  ☆13Updated 6 years ago
• trolando / lace
  Lace - implementation of work-stealing in C
  ☆36Updated last year
• rems-project / rmem
  rmem public repo
  ☆41Updated last month
• pramalhe / CX
  A Wait-Free Universal Construct for Large Objects
  ☆96Updated 5 years ago
• CTSRD-CHERI / beri
  The BERI and CHERI processor and hardware platform
  ☆50Updated 8 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆98Updated 9 years ago
• wsmoses / Tapir-Meta
  ☆24Updated 4 years ago
• smowton / llpe
  ☆52Updated last year
• agra-uni-bremen / metaSMT
  ☆52Updated 9 years ago
• rose-compiler / rose-develop
  The latest development version of rose. It may not pass all regression tests.
  ☆107Updated 6 years ago
• sfu-arch / llvm-epp
  Efficient Path Profiling using LLVM
  ☆19Updated 7 years ago
• uwplse / memsynth
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆22Updated 3 years ago
• rutgers-apl / alive-nj
  Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM
  ☆30Updated 5 years ago
• eschulte / llvm-mutate
  manipulate LLVM IR files
  ☆32Updated 9 years ago
• CTSRD-CHERI / llvm-project
  Fork of LLVM adding CHERI support
  ☆52Updated 3 weeks ago
• wsmoses / Tapir-LLVM
  Tapir extension to LLVM for optimizing Parallel Programs
  ☆134Updated 5 years ago
• unison-code / unison
  Unison's source code
  ☆108Updated last year