Alternatives and similar repositories for codepunk

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

• 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
• wcphkust / tutorialpass
  LLVM pass
  ☆23Updated 4 years ago
• tqyaaaaang / Hyper-OS
  Operating System Simulator
  ☆19Updated 5 years ago
• SchrodingerZhu / memcpy-amd64
  An implementation of memcpy for amd64 with clang/gcc
  ☆15Updated 3 years ago
• sekirio-rs / Kuro
  Linux io_uring based c++ 20 coroutine library
  ☆29Updated 2 years ago
• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 2 years ago
• Enna1 / LLVM-Clang-Examples
  A collection of code based on LLVM/Clang compilation libraries and tools
  ☆39Updated 5 years ago
• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆28Updated last week
• binsec / icse2021-artifact992
  ☆10Updated 4 years ago
• seahorn / llvm-dsa
  LLVM DSA fork for SeaHorn
  ☆21Updated 5 years ago
• GJDuck / EffectiveSan
  Runtime type and bounds-error checking for C/C++
  ☆103Updated 5 months ago
• SVF-tools / Simplified-STL
  A simple implementation of the C++ STL which aims to simplify LLVM IRs during compilation
  ☆11Updated 2 years ago
• appleseedlab / maki
  A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs
  ☆10Updated 5 months 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
• eliphatfs / yapyjit
  Yet another python JIT.
  ☆20Updated 2 years ago
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆41Updated 5 months ago
• hundt98847 / mao
  Automatically exported from code.google.com/p/mao
  ☆11Updated 4 years ago
• ustb-owl / Lava
  A compiler of C subset by USTB OWL Wheel Lab.
  ☆12Updated 2 years 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
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆56Updated 5 years ago
• bigconvience / llvm-ir-in-action
  ☆30Updated 3 years ago
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆83Updated 2 months ago
• Cytosine2020 / crust
  A Rust style C++ library.
  ☆19Updated 2 years ago
• GaloisInc / cclyzerpp
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆144Updated 4 months ago
• MaxXSoft / laps
  Build lexers and parsers by deriving traits.
  ☆25Updated last year
• akemimadoka / GC
  ☆12Updated 3 years ago
• Simple-XX / SimpleCompiler
  DIY Compiler
  ☆45Updated 11 months ago
• sdasgup3 / partial-redundancy-elimination
  Partial Redundancy Elimination Pass in LLVM
  ☆13Updated 6 years ago
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆25Updated 3 years ago