Alternatives and similar repositories for futex-tla

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

• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆24Updated last year
• pornin / cycle-counter
  ☆23Updated 6 months ago
• geofft / gtrace
  An implementation of strace in Rust, and a library interface
  ☆22Updated 7 years ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆15Updated 2 years ago
• stephenrkell / elftin
  Rag-bag of utilities and scripts that do strange things with ELF files
  ☆17Updated 3 months 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 this week
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆12Updated last year
• kubkon / zig-snapshots
  Preview Zig's incremental linker state in interactive HTML
  ☆45Updated 3 years ago
• TartanLlama / dwarbf
  A Brainfuck interpreter embedded inside DWARF debug information
  ☆38Updated last year
• kprotty / pzero
  A collection of tools for building concurrent systems
  ☆30Updated 2 years ago
• nadavrot / compressor
  An educational implementation of a modern compressor in Rust
  ☆47Updated last year
• Luukdegram / cld
  Linker for the Coff/PE file format
  ☆22Updated 3 years ago
• kubkon / zacho
  Zig's Mach-O parser
  ☆45Updated last month
• squeek502 / grindcov
  Code coverage for compiled binaries using Callgrind, mostly geared towards Zig code
  ☆16Updated 3 years ago
• oliverkwebb / newtime
  A rethinking of the C time library
  ☆11Updated 4 months ago
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆21Updated 2 years ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆25Updated 2 years ago
• Rexicon226 / zob
  Zig Optimizing Backend
  ☆20Updated last week
• messer-cpp / messer
  REPL for C preprocessor of C++17
  ☆10Updated last year
• acbits / reftrack-plugin
  GCC plugin for C language that tracks references to allocated objects
  ☆27Updated last month
• IntelLabs / asl-interpreter
  Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)
  ☆21Updated this week
• oliver-giersch / looqueue-rs
  Fast, concurrent, safe MPMC & MPSC FIFO queue implementation
  ☆11Updated 3 years ago
• langston-barrett / mogglo
  Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns
  ☆30Updated 11 months ago
• Luukdegram / zwld
  Experimental wasm linker
  ☆43Updated 2 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• mattnite / libelf
  libelf written in Zig (WIP)
  ☆15Updated 3 years ago
• mcy / alkyne
  ☆23Updated 3 years ago
• frdwarf / dwarf-synthesis
  ☆29Updated 5 years ago
• shacron / sled
  Sled System Emulator
  ☆28Updated last month