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 4 months ago
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆24Updated last year
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆80Updated last year
• TartanLlama / dwarbf
  A Brainfuck interpreter embedded inside DWARF debug information
  ☆37Updated 11 months ago
• nadavrot / compressor
  An educational implementation of a modern compressor in Rust
  ☆47Updated last year
• geofft / gtrace
  An implementation of strace in Rust, and a library interface
  ☆22Updated 6 years ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆14Updated last month
• stephenrkell / elftin
  Rag-bag of utilities and scripts that do strange things with ELF files
  ☆17Updated 2 months ago
• oliverkwebb / newtime
  A rethinking of the C time library
  ☆10Updated 2 months ago
• graydon / berlin
  berlin windowing system -- historical snapshot
  ☆13Updated last year
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆35Updated last month
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆21Updated 2 years ago
• messer-cpp / messer
  REPL for C preprocessor of C++17
  ☆10Updated last year
• matthieu-m / llmalloc
  A low-latency malloc implementation
  ☆25Updated 4 years ago
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆36Updated this week
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• iximeow / regmap
  memory-mapped registers for x86_64 systems
  ☆33Updated 3 years ago
• LykenSol / rust-demangle.c
  C port of the Rust symbol demangler (rustc-demangle)
  ☆42Updated last year
• 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…
  ☆52Updated this week
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆56Updated last year
• graydon / exhaustigen
  ☆11Updated 3 years ago
• playX18 / asmkit
  Assembler toolkit: encoding and decoding of various architectures
  ☆31Updated 5 months ago
• shacron / sled
  Sled System Emulator
  ☆28Updated last week
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆105Updated 9 months ago
• oliver-giersch / looqueue-rs
  Fast, concurrent, safe MPMC & MPSC FIFO queue implementation
  ☆11Updated 3 years ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆28Updated this week
• charlottia / hdx
  HDL development environment on Nix.
  ☆25Updated 6 months ago
• Rexicon226 / zob
  Zig Optimizing Backend
  ☆20Updated this week
• xqb64 / ucc
  An optimizing compiler for a large subset of the C programming language
  ☆25Updated this week
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆21Updated last year