Alternatives and similar repositories for IRL:

Users that are interested in IRL are comparing it to the libraries listed below

• PragmaTwice / codepunk
  [WIP] Interval Analysis on LLVM IR
  ☆12Updated 4 years ago
• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 2 years ago
• comparch-security / FlexiCAS
  A Flexible Cache Architectural Simulator
  ☆14Updated 4 months ago
• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆26Updated last week
• SoftSec-KAIST / SURI
  Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)
  ☆12Updated 3 weeks ago
• opencompl / mlir-fuzz
  A enumerator for MLIR, relying on the information given by IRDL.
  ☆19Updated 3 weeks ago
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆36Updated this week
• Jonathan2251 / lbt
  Develop toolchain based on llvm to for Cpu0 processor
  ☆45Updated last year
• efeslab / eecs582
  Course website for Advanced Operating Systems
  ☆13Updated 3 years ago
• dtcxzyw / cmmc
  An unofficial reference implementation of the C Minus Minus Compiler
  ☆56Updated 2 months ago
• were / bfsh
  Being a full-stack hacker, RISCV, LLVM, and more.
  ☆17Updated 3 years ago
• jetafese / btor2mlir
  Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification
  ☆13Updated 5 months ago
• tqyaaaaang / Hyper-OS
  Operating System Simulator
  ☆19Updated 5 years ago
• kitbarton / LLVMLoopOptTutorial
  Tutorial for LLVM Dev Conference 2019.
  ☆15Updated 5 years ago
• Enna1 / LLVM-Clang-Examples
  A collection of code based on LLVM/Clang compilation libraries and tools
  ☆39Updated 5 years ago
• Multi-V-VM / MVVM
  Heterogeneous Containerization of Large Language Model Apps
  ☆41Updated last month
• appleseedlab / maki
  A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs
  ☆10Updated 3 months ago
• ksplit / ksplit-artifacts
  Artifacts for the paper "KSplit: Automating Device Driver Isolation"
  ☆11Updated 2 years ago
• ychen306 / vegen
  ☆28Updated 2 years ago
• rpgzysb / OptimizingCompiler
  CMU 15745 with Xian Zhang
  ☆7Updated 7 years ago
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 3 years ago
• mit-pdos / ward
  ☆30Updated 3 years ago
• Synthesys-Lab / assassyn
  Asynchronous semantics for architectural simulation and synthesis.
  ☆23Updated this week
• ezyang / SMT-LIB-benchmarks-pytorch-shapes
  SMT-LIB benchmarks for shape computations from deep learning models in PyTorch
  ☆17Updated 2 years ago
• DependableSystemsLab / pinfi
  PIN-based Fault-Injector is a fault injector based on the Intel PIN tool. For more information, please refer to the following paper:
  ☆16Updated 6 years ago
• gokhankici / iodine
  Iodine: Verifying Constant-Time Execution of Hardware
  ☆12Updated 4 years ago
• TianhuaTao / uCore-SMP
  A Symmetric Multiprocessing OS Kernel over RISC-V
  ☆30Updated 2 years ago
• jserv / jit-construct
  JIT compiler from scratch, derived from Nick Desaulniers' great work
  ☆44Updated 4 years ago
• binsec / icse2021-artifact992
  ☆10Updated 4 years ago
• bIgBV / xv6-virtio
  A virtio layer for xv6
  ☆11Updated 6 years ago