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 7 months ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆38Updated last year
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆80Updated last year
• pkhuong / reciprocal
  Faster division by constants that aren't known at compile-time
  ☆29Updated 3 years ago
• mkeeter / ssra
  The Solid-State Register Allocator
  ☆86Updated 2 years ago
• geofft / gtrace
  An implementation of strace in Rust, and a library interface
  ☆22Updated 7 years 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
  ☆24Updated last year
• nadavrot / compressor
  An educational implementation of a modern compressor in Rust
  ☆47Updated last year
• matthieu-m / llmalloc
  A low-latency malloc implementation
  ☆25Updated 4 years ago
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆109Updated 11 months ago
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆22Updated 2 years ago
• igordejanovic / rustemo
  LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/
  ☆38Updated this week
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆57Updated 2 years 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…
  ☆77Updated last month
• oliver-giersch / looqueue-rs
  Fast, concurrent, safe MPMC & MPSC FIFO queue implementation
  ☆11Updated 3 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• fitzgen / synth-loop-free-prog
  Synthesis of Loop-free Programs in Rust
  ☆66Updated 5 years ago
• rachitnigam / runt
  A lighweight and parallel snapshot testing framework in rust
  ☆32Updated last year
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆104Updated 10 months ago
• cronokirby / multiset-hash
  A small crate for hashing multi sets
  ☆16Updated 3 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆21Updated last year
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆102Updated 3 years ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆15Updated 2 years ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆27Updated 2 years ago
• acbits / reftrack-plugin
  GCC plugin for C language that tracks references to allocated objects
  ☆27Updated 2 months ago
• zdimension / parm_extended
  ☆52Updated last week
• sisshiki1969 / monoasm
  In-memory x86-64 assembler for JIT compiler.
  ☆74Updated 3 months ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆69Updated this week
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆12Updated last year