[WIP] Interval Analysis on LLVM IR
☆12Jul 6, 2020Updated 5 years ago
Alternatives and similar repositories for codepunk
Users that are interested in codepunk are comparing it to the libraries listed below
Sorting:
- Context-free grammar parsing library☆10Oct 6, 2024Updated last year
- Demonstrate gRPC examples in 12 programming languages.☆19Updated this week
- A simple implementation of Yet another script language Chtholly☆21Mar 23, 2019Updated 6 years ago
- 这是个中文版的C++小测题。☆22Sep 24, 2019Updated 6 years ago
- A stripped-down LLD (LLVM linker)☆30Apr 11, 2020Updated 5 years ago
- Code for COVID19 CT labeling. Submillimetric CT dataset provided as well.☆13Feb 16, 2021Updated 5 years ago
- Simple grammar-based test case generator☆40Feb 23, 2026Updated last week
- Supervoxel-based Segmentation of 3D Volumetric Images☆11Feb 6, 2018Updated 8 years ago
- light ifconfig☆14Apr 13, 2019Updated 6 years ago
- ☆10Jul 12, 2022Updated 3 years ago
- Dynamic creation and update of ELF files, or: an allocator for JIT compilers☆36Nov 25, 2025Updated 3 months ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆90Sep 18, 2025Updated 5 months ago
- Web page to analyze IEEE-754 floating point values.☆19Oct 25, 2024Updated last year
- A Course Scheduling Helper Using Vue.js☆15Jan 24, 2019Updated 7 years ago
- A more realistic demo of a buffer overflow cause by -ffast-math☆15Sep 10, 2022Updated 3 years ago
- A toy LDAP server in C for illustrative purposes☆12Apr 6, 2011Updated 14 years ago
- ☆12Oct 13, 2022Updated 3 years ago
- Constraint solver based on abstract interpretation☆10Dec 20, 2024Updated last year
- tiger compiler☆10May 6, 2018Updated 7 years ago
- Source code for ISSTA'24 paper "AI Coders Are Among Us: Rethinking Programming Language Grammar Towards Efficient Code Generation"☆12Oct 21, 2024Updated last year
- Repository for training and using a contrast agnostic registration model based on the work done in SynthMorph. The contrast agnostic regi…☆13Sep 5, 2023Updated 2 years ago
- A pytorch image classifier for the recognising letters from the notMNIST dataset☆11Jan 4, 2019Updated 7 years ago
- ☆10Feb 13, 2023Updated 3 years ago
- A Regex engine which is implemented in a traditional way and able to generate graphics of finite automation.☆10May 3, 2018Updated 7 years ago
- A fast, generic, contiguous growable array type written in pure C.☆10Mar 18, 2022Updated 3 years ago
- Efficient Cross-modality Graph Reasoning for RGB-Infrared Person Re-identification☆10Sep 19, 2021Updated 4 years ago
- ☆10Jun 14, 2022Updated 3 years ago
- Some zig libraries☆14Sep 5, 2023Updated 2 years ago
- Semi-Supervised Unpaired Multi-Modal Learning for Label-Efficient Medical Image Segmentation☆10Jun 29, 2021Updated 4 years ago
- Symbolic range analysis for LLVM.☆12Jan 10, 2016Updated 10 years ago
- mirror of Fabrice Bellard's libbf tar releases, with fixes and CI☆16Aug 19, 2025Updated 6 months ago
- A pattern matching extension for C#6☆12May 20, 2016Updated 9 years ago
- A LR(1) parser generator targeting C++17.☆13Jul 8, 2020Updated 5 years ago
- A Simple Archive Format☆10Sep 17, 2021Updated 4 years ago
- A C Templating Engine☆11Apr 13, 2017Updated 8 years ago
- The Unix line editor☆16Feb 23, 2026Updated last week
- ☆12Apr 1, 2025Updated 11 months ago
- TrueType/OpenType Font Library☆13Jan 16, 2026Updated last month
- Cproto generates function prototypes and variable declarations from C source code. Cproto can also convert function definitions between t…☆10Jul 19, 2016Updated 9 years ago