Alternatives and similar repositories for codepunk

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

• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆29Updated last week
• ISRC-CAS / PLCT-OpenDay-2020
  PLCT实验室2020年开放日活动的演讲资料
  ☆13Updated 4 years ago
• foreverbell / yfs
  Yet Another File System (yfs) based on Paxos algorithm.
  ☆16Updated 7 years ago
• Enna1 / LLVM-Clang-Examples
  A collection of code based on LLVM/Clang compilation libraries and tools
  ☆39Updated 5 years ago
• SchrodingerZhu / memcpy-amd64
  An implementation of memcpy for amd64 with clang/gcc
  ☆15Updated 3 years ago
• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 3 years ago
• sekirio-rs / Kuro
  Linux io_uring based c++ 20 coroutine library
  ☆29Updated 3 years ago
• Jonathan2251 / lbt
  Develop toolchain based on llvm to for Cpu0 processor
  ☆46Updated 3 weeks ago
• GJDuck / EffectiveSan
  Runtime type and bounds-error checking for C/C++
  ☆103Updated 6 months ago
• mshockwave / SQLGen
  Generate SQL from TableGen code - This is part of the tutorial "How to write a TableGen backend" in 2021 LLVM Developers' Meeting.
  ☆29Updated 2 years ago
• wcphkust / tutorialpass
  LLVM pass
  ☆23Updated 4 years ago
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆44Updated 2 years ago
• JACKIEZHAOKAI / CSE231_LLVM_Compiler_Opt
  LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…
  ☆25Updated 5 years ago
• seahorn / llvm-dsa
  LLVM DSA fork for SeaHorn
  ☆21Updated 5 years ago
• appleseedlab / maki
  A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs
  ☆10Updated 5 months ago
• tqyaaaaang / Hyper-OS
  Operating System Simulator
  ☆19Updated 6 years ago
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆40Updated 3 months ago
• bigconvience / llvm-ir-in-action
  ☆31Updated 3 years ago
• MaskRay / picolld
  A stripped-down LLD (LLVM linker)
  ☆29Updated 5 years ago
• akemimadoka / LLVMCMakeBackend
  An April fools joke, a llvm backend to CMake
  ☆47Updated 3 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆59Updated this week
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆56Updated 5 years ago
• kitbarton / LLVMLoopOptTutorial
  Tutorial for LLVM Dev Conference 2019.
  ☆15Updated 5 years ago
• bchurchill / pldi19-equivalence-checker
  Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"
  ☆43Updated 5 years ago
• eliphatfs / yapyjit
  Yet another python JIT.
  ☆20Updated 2 years ago
• dtcxzyw / llvm-apr-benchmark
  A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugs
  ☆12Updated this week
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆86Updated 3 months ago
• tpchina / tpchina.github.io
  ☆17Updated 2 months ago
• ustb-owl / Lava
  A compiler of C subset by USTB OWL Wheel Lab.
  ☆12Updated 2 years ago
• chyyuu / rcoresbs_doc
  ☆10Updated 5 years ago