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 3 months ago
• oliver-giersch / looqueue-rs
  Fast, concurrent, safe MPMC & MPSC FIFO queue implementation
  ☆11Updated 3 years ago
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆24Updated last year
• geofft / gtrace
  An implementation of strace in Rust, and a library interface
  ☆22Updated 6 years ago
• nadavrot / compressor
  An educational implementation of a modern compressor in Rust
  ☆47Updated last year
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆32Updated this week
• TartanLlama / dwarbf
  A Brainfuck interpreter embedded inside DWARF debug information
  ☆37Updated 10 months ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆80Updated last year
• acbits / reftrack-plugin
  GCC plugin for C language that tracks references to allocated objects
  ☆26Updated 3 weeks ago
• squeek502 / grindcov
  Code coverage for compiled binaries using Callgrind, mostly geared towards Zig code
  ☆16Updated 3 years ago
• mkeeter / ssra
  The Solid-State Register Allocator
  ☆84Updated 2 years ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆14Updated last week
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆21Updated 2 years ago
• kevin-lesenechal / nucloid
  Simple monolithic kernel written in Rust for x86-64
  ☆24Updated 2 weeks ago
• imihajlow / ccpu-cc
  A C11 compiler for the discrete logic computer
  ☆20Updated 11 months ago
• stephenrkell / elftin
  Rag-bag of utilities and scripts that do strange things with ELF files
  ☆17Updated 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…
  ☆50Updated 3 weeks ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆73Updated last week
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆40Updated 7 months ago
• matthieu-m / llmalloc
  A low-latency malloc implementation
  ☆25Updated 3 years ago
• Luukdegram / cld
  Linker for the Coff/PE file format
  ☆22Updated 2 years ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• graydon / berlin
  berlin windowing system -- historical snapshot
  ☆13Updated last year
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆34Updated 2 weeks ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• messer-cpp / messer
  REPL for C preprocessor of C++17
  ☆10Updated last year
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆11Updated 11 months ago
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆33Updated last month