Alternatives and similar repositories for futex-tla

Users that are interested in futex-tla are comparing it to the libraries listed below

• pornin / cycle-counter
  ☆23Updated 9 months ago
• nadavrot / compressor
  An educational implementation of a modern compressor in Rust
  ☆48Updated last year
• TartanLlama / dwarbf
  A Brainfuck interpreter embedded inside DWARF debug information
  ☆38Updated last year
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆25Updated last year
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆110Updated 2 weeks ago
• slothy-optimizer / slothy
  Assembly super-optimization via constraint solving
  ☆216Updated this week
• acbits / reftrack-plugin
  GCC plugin for C language that tracks references to allocated objects
  ☆28Updated 4 months ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆75Updated this week
• tekknolagi / ddcg
  Implementation of destination-driven code generation with control destinations. See [post.md](post.md)
  ☆24Updated 10 months ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆103Updated 3 years ago
• BodhiHu / L-Mul
  C implementation of the L-Mul f32/f16 multiplications from paper: https://arxiv.org/html/2410.00907
  ☆28Updated 11 months ago
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆43Updated last year
• drti / drti
  Dynamic runtime inlining with LLVM
  ☆66Updated 3 years ago
• Rexicon226 / zob
  Zig Optimizing Backend
  ☆21Updated 3 months ago
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆178Updated 4 months ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆39Updated last year
• phate / jlm
  ☆69Updated this week
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆80Updated last year
• lfi-project / lfi
  Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing
  ☆87Updated last month
• mkeeter / ssra
  The Solid-State Register Allocator
  ☆87Updated 2 years ago
• graphitemaster / detour
  A detour through the Linux dynamic linker
  ☆209Updated 2 months ago
• tomhea / c2fj
  Compiling C to FlipJump
  ☆92Updated 7 months ago
• jart / jtckdint
  C23 Checked Arithmetic
  ☆141Updated last month
• langston-barrett / tree-crasher
  Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.
  ☆77Updated 2 weeks ago
• irrio / semblance
  My little WebAssembly interpreter
  ☆74Updated last week
• frdwarf / dwarf-synthesis
  ☆29Updated 5 years ago
• playX18 / asmkit
  Assembler toolkit: encoding and decoding of various architectures
  ☆33Updated 9 months ago
• yugr / sortcheck
  Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
  ☆54Updated 7 months ago
• sidkshatriya / rr.soft
  Run the rr debugger in a Linux VM on apple silicon macOS or in the cloud. Use the rr debugger without HW performance counters on x86-64 a…
  ☆87Updated last month
• bytecodealliance / waffle
  Wasm Analysis Framework For Lightweight Experiments
  ☆49Updated 2 months ago