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
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆43Updated 2 months ago
• computersforpeace / model-checker
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆29Updated 11 years ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆56Updated this week
• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆22Updated this week
• nadia-polikarpova / cyclegg
  Cyclic theorem prover for equalitional reasoning using egraphs
  ☆26Updated last year
• PrincetonUniversity / DeepSpecDB
  ☆27Updated this week
• open-s4c / vsyncer
  Verification and optimization tool for concurrent code
  ☆22Updated last week
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆35Updated 3 months ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆72Updated this week
• rems-project / cerberus
  Cerberus C semantics
  ☆61Updated this week
• phate / jlm
  ☆58Updated this week
• dannypsnl / racket-llvm
  racket llvm C-API bindings
  ☆17Updated 2 months ago
• laithsakka / Grafter
  TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.
  ☆10Updated last year
• Kraks / quantum-compiler
  Quantum circuits compiler with staging and continuations
  ☆15Updated 2 months ago
• Lancern / mlir-gccjit
  MLIR dialect for libgccjit
  ☆20Updated 2 months ago
• trackoor / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆16Updated 2 years ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆12Updated 2 weeks ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆61Updated this week
• imkiva / valheim
  Just for fun riscv64 emulator, which boots the Linux.
  ☆41Updated 2 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆21Updated last year
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆126Updated last month
• pornin / cycle-counter
  ☆22Updated 2 months ago
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆39Updated 2 years ago
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆42Updated 3 years ago
• SchrodingerZhu / reussir-lang
  The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.
  ☆15Updated this week
• gussmith23 / lakeroad
  FPGA synthesis tool powered by program synthesis
  ☆41Updated 2 months ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆137Updated 5 months ago
• lammich / isabelle_llvm
  Isabelle LLVM Code Generator and Refinement
  ☆26Updated this week