Alternatives and similar repositories for futex-tutorial

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

• uw-unsat / jitsynth
  ☆18Updated 5 years ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆49Updated 3 months ago
• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 3 years ago
• PrincetonUniversity / DeepSpecDB
  ☆27Updated 5 months ago
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆52Updated this week
• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆31Updated 3 weeks ago
• IntelLabs / asl-interpreter
  Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)
  ☆24Updated last month
• open-s4c / vsyncer
  Verification and optimization tool for concurrent code
  ☆25Updated 2 months ago
• rems-project / cn
  CN separation logic refinement type system for C
  ☆38Updated this week
• uw-unsat / exoverifier
  ☆18Updated 2 years ago
• uwplse / potpie
  Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct
  ☆16Updated last year
• pornin / cycle-counter
  ☆24Updated 10 months ago
• dannypsnl / racket-llvm
  racket llvm C-API bindings
  ☆18Updated 3 months ago
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆78Updated this week
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆57Updated 2 years ago
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆26Updated last year
• rems-project / cerberus
  Cerberus C semantics
  ☆71Updated 2 months ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆29Updated 4 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆22Updated 2 years ago
• herbie-fp / regraph
  Racket Equivalence Graph Library
  ☆19Updated 3 years ago
• imkiva / valheim
  Just for fun riscv64 emulator, which boots the Linux.
  ☆41Updated 2 years ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆52Updated 4 years ago
• securesystemslab / LLVM-MCA-Daemon
  ☆21Updated 7 months ago
• bollu / lz
  A minimal in MLIR dialect along the lines of STG to represent laziness.
  ☆15Updated 3 years ago
• dafny-lang / xdsmith
  Fuzz testing for Dafny
  ☆13Updated 3 years ago
• trackoor / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆17Updated 3 years ago
• memoryleak47 / slotted-egraphs
  ☆33Updated last month
• appleseedlab / maki
  A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs
  ☆11Updated 2 months ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆157Updated 2 weeks ago
• lengyijun / polonius-proof
  Verify naive = datafrog-opt, in rust/polonius
  ☆15Updated 4 months ago