PragmaTwice / codepunk
[WIP] Interval Analysis on LLVM IR
☆12Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for codepunk
- An implementation of memcpy for amd64 with clang/gcc☆15Updated 2 years ago
- Linux io_uring based c++ 20 coroutine library☆29Updated 2 years ago
- Yet another python JIT.☆20Updated last year
- PLCT实验室2020年开放日活动的演讲资料☆13Updated 3 years ago
- Yet Another File System (yfs) based on Paxos algorithm.☆16Updated 7 years ago
- A LR(1) parser generator targeting C++17.☆13Updated 4 years ago
- LLVM pass☆21Updated 4 years ago
- LLVM DSA fork for SeaHorn☆21Updated 5 years ago
- A simple implementation of Yet another script language Chtholly☆20Updated 5 years ago
- A stripped-down LLD (LLVM linker)☆29Updated 4 years ago
- a simple interpreter.☆10Updated last year
- UB-aware interpreter for LLVM debugging☆15Updated this week
- Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆15Updated 2 months ago
- A simple implementation of JSON.☆19Updated 7 years ago
- An April fools joke, a llvm backend to CMake☆47Updated 3 years ago
- Tutorial for LLVM Dev Conference 2019.☆14Updated 5 years ago
- Partial Redundancy Elimination Pass in LLVM☆13Updated 5 years ago
- ☆12Updated 3 years ago
- The Dragon Virtual Machine.☆10Updated 6 years ago
- A Rust style C++ library.☆19Updated 2 years ago
- General-LR Parser Generator☆10Updated last month
- A shared memory dependence tracing tool for dynamic concurrent program analysis☆12Updated 9 years ago
- Experimental patches to implement missing C++20 modules features for the clang/LLVM toolchain.☆23Updated 2 years ago
- 开源开发工具大会2020的幻灯片☆47Updated 3 years ago
- A simple implementation of the C++ STL which aims to simplify LLVM IRs during compilation☆11Updated 2 years ago
- ☆30Updated 2 years ago
- Operating System Simulator☆19Updated 5 years ago
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 4 years ago
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago