Alternatives and similar repositories for loom

Users that are interested in loom are comparing it to the libraries listed below

• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• NanXiao / using-dtrace-stories
  ☆23Updated 4 months ago
• emeryberger / dthreads
  dthreads: Efficient Deterministic Multithreading
  ☆52Updated 10 years ago
• columbia / libtrack
  Library wrapper and system-level tracing utilities
  ☆47Updated 8 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆98Updated 10 years ago
• hardenedapple / gdb-walkers
  Bring mdb walkers to gdb, also add other helpful commands.
  ☆34Updated 7 months ago
• snu-sf / crellvm
  Crellvm: Verified Credible Compilation for LLVM
  ☆17Updated 7 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆105Updated last year
• andreoli / fulltrace
  A complete ftrace- and uprobes-based tracer (user, libraries, kernel) for GNU/Linux
  ☆67Updated 12 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆40Updated 2 years ago
• intel / ioprof
  The Linux I/O profiler (ioprof) is a tool that provides significant insight into I/O workloads while remaining easy to use.
  ☆103Updated 2 years ago
• rlu-sync / rlu
  Read-Log-Update: A Lightweight Synchronization Mechanism for Concurrent Programming
  ☆49Updated 10 years ago
• ut-osa / txfs
  TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions (ATC 18)
  ☆66Updated 6 years ago
• llvm-mirror / zorg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆21Updated 5 years ago
• efficient / libinger
  https://www.usenix.org/conference/atc20/presentation/boucher
  ☆26Updated 3 years ago
• lovasko / libctf
  BSD-licensed CTF Implementation
  ☆20Updated 10 years ago
• aclements / commuter
  Automated multicore scalability testing tool
  ☆87Updated 9 years ago
• intel / lineuse
  I-cache line packing and branch misprediction measuring tool
  ☆18Updated 8 years ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆220Updated 2 years ago
• ShimProfiler / SHIM
  ☆55Updated 10 years ago
• kframework / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆47Updated 7 years ago
• uw-unsat / yggdrasil
  ☆33Updated 3 years ago
• frdwarf / dwarf-assembly
  ☆19Updated 5 years ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆56Updated 2 years ago
• mangpo / greenthumb
  ☆88Updated 3 years ago
• k-hagio / crash-cacheutils
  crash extension module for dumping page caches
  ☆11Updated 7 months ago
• regehr / rb_tree_demo
  code accompanying a blog post about fuzzing a red-black tree implementation: http://blog.regehr.org/archives/896
  ☆18Updated 6 years ago
• uw-unsat / hyperkernel
  ☆185Updated 5 years ago
• google / ohmu
  Compiler intermediate language for static analysis.
  ☆107Updated 6 years ago
• s-kanev / XIOSim
  A detailed michroarchitectural x86 simulator
  ☆62Updated 8 years ago