PragmaTwice / codepunk
[WIP] Interval Analysis on LLVM IR
☆12Updated 4 years ago
Alternatives and similar repositories for codepunk:
Users that are interested in codepunk are comparing it to the libraries listed below
- An implementation of memcpy for amd64 with clang/gcc☆15Updated 3 years ago
- Linux io_uring based c++ 20 coroutine library☆29Updated 2 years ago
- UB-aware interpreter for LLVM debugging☆26Updated this week
- ☆12Updated 3 years ago
- Yet Another File System (yfs) based on Paxos algorithm.☆16Updated 7 years ago
- Operating System Simulator☆19Updated 5 years ago
- LLVM DSA fork for SeaHorn☆21Updated 5 years ago
- LLVM pass☆23Updated 4 years ago
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- PLCT实验室2020年开放日活动的演讲资料☆13Updated 4 years ago
- A Rust style C++ library.☆19Updated 2 years ago
- Yet another python JIT.☆20Updated 2 years ago
- An April fools joke, a llvm backend to CMake☆47Updated 3 years ago
- A simple implementation of Yet another script language Chtholly☆20Updated 6 years ago
- Experimental patches to implement missing C++20 modules features for the clang/LLVM toolchain.☆23Updated 3 years ago
- LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…☆14Updated 10 months ago
- Automatically exported from code.google.com/p/mao☆11Updated 4 years ago
- compile-time DFA-based regular expression engine with C++ template and constexpr☆55Updated 5 years ago
- Runtime type and bounds-error checking for C/C++☆103Updated 3 months ago
- An LLVM IR dataset for data-driven compiler optimization research☆35Updated this week
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 5 years ago
- A better C/C++ macro extension. Implemented in Clang plugins. Inspired by Rust's macro system☆65Updated 4 years ago
- A simple implementation of JSON.☆19Updated 8 years ago
- A naive key-value database as the project of Storage Technology Foundations course☆10Updated 5 years ago
- 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
- Partial Redundancy Elimination Pass in LLVM☆13Updated 5 years ago
- SIMD CRC64 for C++☆12Updated 3 years ago
- website of hellollvm.org☆38Updated last week
- A stripped-down LLD (LLVM linker)☆29Updated 4 years ago
- PKU CompNet'19 Lab 2 - Homebrew TCP☆12Updated 5 years ago