Alternatives and similar repositories for loom:

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

• columbia / libtrack
  Library wrapper and system-level tracing utilities
  ☆45Updated 7 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 2 years ago
• termite2 / Termite
  The Termite driver synthesis tool
  ☆32Updated 7 years ago
• k-hagio / crash-cacheutils
  crash extension module for dumping page caches
  ☆10Updated 5 months ago
• frdwarf / dwarf-synthesis
  ☆27Updated 5 years ago
• theonewolf / libperf
  libperf is a library that wraps around the syscall perf_event_open(). This library exposes the kernel performance counters subsystem to …
  ☆55Updated 3 years ago
• andreoli / fulltrace
  A complete ftrace- and uprobes-based tracer (user, libraries, kernel) for GNU/Linux
  ☆66Updated 11 years ago
• efficient / libinger
  https://www.usenix.org/conference/atc20/presentation/boucher
  ☆24Updated 2 years ago
• snu-sf / crellvm
  Crellvm: Verified Credible Compilation for LLVM
  ☆15Updated 6 years ago
• j-baker / l1c
  l1c is a simple formally verified compiler for a while language
  ☆55Updated 4 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆96Updated 9 years ago
• emeryberger / dthreads
  dthreads: Efficient Deterministic Multithreading
  ☆49Updated 10 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
  ☆28Updated 5 years ago
• dcdelia / tinyvm
  A simple VM to play with OSR in LLVM
  ☆14Updated 7 years ago
• rlu-sync / rlu
  Read-Log-Update: A Lightweight Synchronization Mechanism for Concurrent Programming
  ☆48Updated 9 years ago
• aclements / commuter
  Automated multicore scalability testing tool
  ☆88Updated 9 years ago
• libos-nuse / linux-libos-tools
  userspace tools for linux libos
  ☆95Updated 2 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• rumpkernel / rumpctrl
  Control and diagnostic applications for rump kernels
  ☆36Updated 7 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 last year
• facebookarchive / Rseq
  Restartable Sequences: a userspace implementation of cheap per-cpu atomic operations
  ☆36Updated 6 years ago
• NanXiao / using-dtrace-stories
  ☆22Updated 2 years ago
• hardenedapple / gdb-walkers
  Bring mdb walkers to gdb, also add other helpful commands.
  ☆34Updated last month
• ut-osa / txfs
  TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions (ATC 18)
  ☆67Updated 6 years ago
• resistor / BrainFTracing
  A trace-based JIT for brainfuck
  ☆44Updated 14 years ago
• robbertkrebbers / ch2o
  ☆88Updated 2 years ago
• ShimProfiler / SHIM
  ☆53Updated 9 years ago
• travitch / llvm-tools
  A set of tools for visualizing and inspecting LLVM bitcode modules
  ☆31Updated 10 years ago
• uw-unsat / serval-sosp19
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆28Updated 5 years ago