Alternatives and similar repositories for futex-tutorial:

Users that are interested in futex-tutorial are comparing it to the libraries listed below

• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 2 years ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆51Updated this week
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆43Updated last month
• computersforpeace / model-checker
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆28Updated 11 years ago
• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆21Updated last week
• nadia-polikarpova / cyclegg
  Cyclic theorem prover for equalitional reasoning using egraphs
  ☆26Updated last year
• dramforever / finlog
  Compiling finite generators to digital logic. WIP
  ☆14Updated 4 years ago
• uw-unsat / jitsynth
  ☆17Updated 4 years ago
• PrincetonUniversity / DeepSpecDB
  ☆27Updated 2 months ago
• Kraks / quantum-compiler
  Quantum circuits compiler with staging and continuations
  ☆15Updated last month
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆121Updated this week
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• trackoor / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆16Updated 2 years ago
• yihozhang / relational-ematching-benchmark
  ☆16Updated 3 years ago
• open-s4c / vsyncer
  Verification and optimization tool for concurrent code
  ☆22Updated last month
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆57Updated this week
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆39Updated 2 years ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 7 months ago
• sgpthomas / comp-gen
  Automatically generate a compiler using equality saturation
  ☆27Updated 9 months ago
• tchajed / rdb
  Debugger written in Rust
  ☆18Updated 2 years ago
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆27Updated this week
• HarrisonGrodin / ATPL24
  Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)
  ☆17Updated 5 months ago
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆35Updated 2 months ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆137Updated 4 months ago
• pornin / cycle-counter
  ☆21Updated last month
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆25Updated this week
• Lancern / mlir-gccjit
  MLIR dialect for libgccjit
  ☆20Updated last month
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆22Updated 3 months ago
• icra-team / icra
  ICRA: a static analyzer based on interprocedural compositional recurrence analysis
  ☆11Updated 4 years ago
• dannypsnl / racket-llvm
  racket llvm C-API bindings
  ☆17Updated last month