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
• 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
  ☆26Updated last year
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆112Updated 2 weeks ago
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆43Updated last year
• mkeeter / ssra
  The Solid-State Register Allocator
  ☆87Updated 3 years ago
• phate / jlm
  ☆71Updated this week
• nadavrot / compressor
  An educational implementation of a modern compressor in Rust
  ☆48Updated 2 years ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆59Updated 2 years ago
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆93Updated last week
• drti / drti
  Dynamic runtime inlining with LLVM
  ☆64Updated 4 years ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆35Updated 2 months ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆80Updated last year
• slothy-optimizer / slothy
  Assembly super-optimization via constraint solving
  ☆222Updated this week
• fitzgen / synth-loop-free-prog
  Synthesis of Loop-free Programs in Rust
  ☆67Updated 5 years ago
• acbits / reftrack-plugin
  GCC plugin for C language that tracks references to allocated objects
  ☆29Updated 4 months ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆75Updated 2 weeks 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…
  ☆57Updated 2 months ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆103Updated 3 years ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆39Updated this week
• pkhuong / reciprocal
  Faster division by constants that aren't known at compile-time
  ☆29Updated 4 years ago
• stephenrkell / elftin
  Rag-bag of utilities and scripts that do strange things with ELF files
  ☆17Updated 7 months ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆76Updated this week
• tekknolagi / ddcg
  Implementation of destination-driven code generation with control destinations. See [post.md](post.md)
  ☆24Updated 10 months ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆105Updated last year
• 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.
  ☆78Updated 2 weeks ago
• cfallin / waffle
  ☆58Updated 2 months ago
• zwegner / x86-sat
  Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
  ☆320Updated 3 years ago
• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆64Updated 5 years ago