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
  ☆22Updated 2 months ago
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆24Updated last year
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆12Updated 2 weeks ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• tekknolagi / ddcg
  Implementation of destination-driven code generation with control destinations. See [post.md](post.md)
  ☆24Updated 3 months ago
• 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…
  ☆48Updated this week
• oliver-giersch / looqueue-rs
  Fast, concurrent, safe MPMC & MPSC FIFO queue implementation
  ☆11Updated 3 years ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆80Updated last year
• nadavrot / compressor
  An educational implementation of a modern compressor in Rust
  ☆47Updated last year
• acbits / reftrack-plugin
  GCC plugin for C language that tracks references to allocated objects
  ☆24Updated 3 months ago
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆40Updated 6 months ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆21Updated last year
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆21Updated 2 years ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆56Updated last year
• kubkon / zig-snapshots
  Preview Zig's incremental linker state in interactive HTML
  ☆44Updated 2 years ago
• TartanLlama / dwarbf
  A Brainfuck interpreter embedded inside DWARF debug information
  ☆36Updated 9 months ago
• Luukdegram / cld
  Linker for the Coff/PE file format
  ☆22Updated 2 years ago
• frdwarf / dwarf-synthesis
  ☆27Updated 5 years ago
• bytecodealliance / waffle
  Wasm Analysis Framework For Lightweight Experiments
  ☆39Updated 2 months ago
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆11Updated 10 months ago
• kprotty / pzero
  A collection of tools for building concurrent systems
  ☆30Updated 2 years ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆43Updated 2 months ago
• imihajlow / ccpu-cc
  A C11 compiler for the discrete logic computer
  ☆20Updated 10 months ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆72Updated this week
• mkeeter / ssra
  The Solid-State Register Allocator
  ☆84Updated 2 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆34Updated this week
• stephenrkell / elftin
  Rag-bag of utilities and scripts that do strange things with ELF files
  ☆17Updated 2 months ago
• geofft / gtrace
  An implementation of strace in Rust, and a library interface
  ☆22Updated 6 years ago