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
• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆26Updated this week
• computersforpeace / model-checker
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆29Updated 11 years ago
• dannypsnl / racket-llvm
  racket llvm C-API bindings
  ☆17Updated 3 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
• open-s4c / vsyncer
  Verification and optimization tool for concurrent code
  ☆23Updated last week
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆43Updated 3 months ago
• PrincetonUniversity / DeepSpecDB
  ☆27Updated 3 weeks ago
• 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
  ☆17Updated 2 years ago
• bollu / lz
  A minimal in MLIR dialect along the lines of STG to represent laziness.
  ☆15Updated 3 years ago
• Kraks / quantum-compiler
  Quantum circuits compiler with staging and continuations
  ☆15Updated 4 months ago
• IITH-Compilers / ML-Compiler-Bridge
  Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations
  ☆17Updated 2 weeks ago
• ajwijs / GPUexplore
  GPU model checker
  ☆11Updated 5 years ago
• opencompl / mlir-fuzz
  A enumerator for MLIR, relying on the information given by IRDL.
  ☆19Updated this week
• sgpthomas / comp-gen
  Automatically generate a compiler using equality saturation
  ☆28Updated 11 months ago
• dramforever / finlog
  Compiling finite generators to digital logic. WIP
  ☆14Updated 4 years ago
• SchrodingerZhu / reussir-lang
  The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.
  ☆16Updated this week
• martinjonas / Q3B
  ☆27Updated 10 months ago
• icra-team / icra
  ICRA: a static analyzer based on interprocedural compositional recurrence analysis
  ☆11Updated 5 years ago
• pornin / cycle-counter
  ☆22Updated 3 months ago
• nadia-polikarpova / cyclegg
  Cyclic theorem prover for equalitional reasoning using egraphs
  ☆26Updated last year
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆21Updated last year
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆39Updated 2 weeks ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆60Updated this week
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆32Updated this week
• jetafese / btor2mlir
  Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification
  ☆13Updated 3 months ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆34Updated 2 weeks ago
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆65Updated this week