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 5 months ago
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆24Updated last year
• oliver-giersch / looqueue-rs
  Fast, concurrent, safe MPMC & MPSC FIFO queue implementation
  ☆11Updated 3 years ago
• geofft / gtrace
  An implementation of strace in Rust, and a library interface
  ☆22Updated 6 years ago
• Luukdegram / cld
  Linker for the Coff/PE file format
  ☆22Updated 3 years ago
• TartanLlama / dwarbf
  A Brainfuck interpreter embedded inside DWARF debug information
  ☆38Updated last year
• AmrDeveloper / LLQL
  LLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM…
  ☆54Updated 3 weeks ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆80Updated last year
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆14Updated 2 weeks ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆30Updated this week
• Rexicon226 / zob
  Zig Optimizing Backend
  ☆20Updated last week
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆21Updated 2 years ago
• mcy / alkyne
  ☆23Updated 3 years ago
• messer-cpp / messer
  REPL for C preprocessor of C++17
  ☆10Updated last year
• playX18 / asmkit
  Assembler toolkit: encoding and decoding of various architectures
  ☆31Updated 5 months ago
• bytecodealliance / waffle
  Wasm Analysis Framework For Lightweight Experiments
  ☆46Updated 6 months ago
• kubkon / zacho
  Zig's Mach-O parser
  ☆44Updated 2 weeks ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆35Updated 2 months ago
• nadavrot / compressor
  An educational implementation of a modern compressor in Rust
  ☆47Updated last year
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆38Updated last year
• tekknolagi / ddcg
  Implementation of destination-driven code generation with control destinations. See [post.md](post.md)
  ☆24Updated 6 months ago
• matthieu-m / llmalloc
  A low-latency malloc implementation
  ☆25Updated 4 years ago
• acbits / reftrack-plugin
  GCC plugin for C language that tracks references to allocated objects
  ☆26Updated 2 weeks ago
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆12Updated last year
• mattnite / libelf
  libelf written in Zig (WIP)
  ☆15Updated 3 years ago
• squeek502 / grindcov
  Code coverage for compiled binaries using Callgrind, mostly geared towards Zig code
  ☆16Updated 3 years ago
• kprotty / pzero
  A collection of tools for building concurrent systems
  ☆30Updated 2 years ago
• JonesBeach / memphis
  A ridiculous Python interpreter written—from scratch—in Rust.
  ☆20Updated this week