PragmaTwice / codepunkLinks
[WIP] Interval Analysis on LLVM IR
☆12Updated 5 years ago
Alternatives and similar repositories for codepunk
Users that are interested in codepunk are comparing it to the libraries listed below
Sorting:
- Linux io_uring based c++ 20 coroutine library☆29Updated 3 years ago
- Yet Another File System (yfs) based on Paxos algorithm.☆16Updated 7 years ago
- outline and links for PLDI 2022 tutorial☆17Updated 3 years ago
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆10Updated 7 months ago
- An implementation of memcpy for amd64 with clang/gcc☆15Updated 3 years ago
- Yet another python JIT.☆20Updated 2 years ago
- Runtime type and bounds-error checking for C/C++☆105Updated 7 months ago
- Experimental patches to implement missing C++20 modules features for the clang/LLVM toolchain.☆23Updated 3 years ago
- UB-aware interpreter for LLVM debugging☆29Updated last week
- CCG is a random C Code Generator☆44Updated 2 years ago
- ☆12Updated 3 years ago
- DIY Compiler☆46Updated last year
- A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugs☆15Updated last week
- A naive key-value database as the project of Storage Technology Foundations course☆10Updated 6 years ago
- Develop toolchain based on llvm to for Cpu0 processor☆48Updated 2 months ago
- A virtio layer for xv6☆11Updated 6 years ago
- Generate SQL from TableGen code - This is part of the tutorial "How to write a TableGen backend" in 2021 LLVM Developers' Meeting.☆33Updated 2 years ago
- Heterogeneous Containerization of Large Language Model Apps☆45Updated last week
- C++ Compile-Time eValuator for scheme☆21Updated 5 years ago
- A compiler of C subset by USTB OWL Wheel Lab.☆12Updated 2 years ago
- ☆31Updated 3 years ago
- Header-only C/C++ static keys to avoid the overhead of conditional branches☆14Updated last year
- A simple implementation of JSON.☆19Updated 8 years ago
- Performance Counter Measurements at the cycle granularity☆18Updated 4 years ago
- The space of memory management research and systems produced by the PLASMA lab (https://plasma-umass.org).☆20Updated 4 years ago
- Framework of pa code for THU compiler principle course.☆13Updated 5 years ago
- Operating System Simulator☆19Updated 6 years ago
- Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)☆16Updated 4 months ago
- Code experiments to exercise ideas while reading "Engineering a Compiler".☆27Updated 6 years ago
- ☆30Updated 3 years ago