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 7 months ago
• mshockwave / gross
  Research Compiler using Graph IR for Code Optimizations and Code Generations
  ☆50Updated 6 years ago
• columbia / libtrack
  Library wrapper and system-level tracing utilities
  ☆47Updated 8 years ago
• hardenedapple / gdb-walkers
  Bring mdb walkers to gdb, also add other helpful commands.
  ☆34Updated 11 months ago
• emeryberger / dthreads
  dthreads: Efficient Deterministic Multithreading
  ☆70Updated 11 years ago
• lovasko / libctf
  BSD-licensed CTF Implementation
  ☆21Updated 10 years ago
• libos-nuse / linux-libos-tools
  userspace tools for linux libos
  ☆98Updated 3 years ago
• uw-unsat / serval-sosp19
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆32Updated 6 years ago
• kframework / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆46Updated 7 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆96Updated 10 years ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆57Updated 2 years ago
• rems-project / netsem
  Network Semantics
  ☆91Updated 7 years ago
• ut-osa / txfs
  TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions (ATC 18)
  ☆66Updated 6 years ago
• snu-sf / crellvm
  Crellvm: Verified Credible Compilation for LLVM
  ☆17Updated 7 years ago
• justincormack / frankenlibc
  Tools for running rump unikernels in userspace
  ☆56Updated 10 years ago
• andreoli / fulltrace
  A complete ftrace- and uprobes-based tracer (user, libraries, kernel) for GNU/Linux
  ☆68Updated 12 years ago
• uw-unsat / hyperkernel
  ☆187Updated 5 years ago
• j-baker / l1c
  l1c is a simple formally verified compiler for a while language
  ☆55Updated 5 years ago
• intel / lineuse
  I-cache line packing and branch misprediction measuring tool
  ☆18Updated 9 years ago
• aclements / commuter
  Automated multicore scalability testing tool
  ☆88Updated 9 years ago
• gz / phdplot
  Make nice plots with matplotlib.
  ☆11Updated 6 years ago
• SESA / EbbRT
  EbbRT: elastic building block runtime
  ☆77Updated last year
• regehr / rb_tree_demo
  code accompanying a blog post about fuzzing a red-black tree implementation: http://blog.regehr.org/archives/896
  ☆18Updated 7 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆40Updated 2 years ago
• frdwarf / dwarf-assembly
  ☆20Updated 6 years ago
• google / ohmu
  Compiler intermediate language for static analysis.
  ☆107Updated 7 years ago
• aclements / mtrace
  Memory access tracing QEMU
  ☆99Updated 8 years ago
• crange / crange
  Crange is a tool to index and cross-reference C/C++ source code
  ☆75Updated 9 years ago
• uw-unsat / yggdrasil
  ☆33Updated 3 years ago