The C parser for GumTree
☆15Sep 25, 2020Updated 5 years ago
Alternatives and similar repositories for cgum
Users that are interested in cgum are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tool for detecting error handling bugs☆23Sep 11, 2016Updated 9 years ago
- MACER: A Modular Framework for Accelerated Compilation Error Repair☆14Mar 24, 2023Updated 3 years ago
- Keep your bugs contained. A platform for studying historical software bugs.☆69Jan 8, 2025Updated last year
- A vulnerability patch gathering tool☆44Jan 11, 2019Updated 7 years ago
- ADD extracts features from patches such as repair patterns.☆13Oct 2, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆20Jun 23, 2021Updated 4 years ago
- C++17 (CLI/embeddable) Lexical Scanner Generator☆17Nov 3, 2022Updated 3 years ago
- Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)☆12Dec 16, 2021Updated 4 years ago
- Blogs that I'm actively following.☆16Sep 17, 2023Updated 2 years ago
- Code coverage reporting tool☆51Nov 27, 2016Updated 9 years ago
- ☆10May 24, 2023Updated 3 years ago
- an rope data structure☆11Dec 1, 2017Updated 8 years ago
- ☆18Sep 12, 2019Updated 6 years ago
- ☆12Jul 13, 2022Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Generic server for collaborative code analysis☆13Dec 19, 2016Updated 9 years ago
- Another LaTex formula OCR tool☆15Feb 15, 2023Updated 3 years ago
- Framework for writing tests with randomly generated test data☆14Feb 8, 2026Updated 4 months ago
- ☆16Mar 22, 2024Updated 2 years ago
- 🎲 Syncing my dotfiles☆13May 21, 2026Updated 2 weeks ago
- A library for standard containers and their associated algorithms.☆12Feb 28, 2025Updated last year
- API for the Commelec Smart Grid control platform☆18Aug 2, 2016Updated 9 years ago
- A dataset of Java bugs for automatic repair, derived from the C bugs of IntroClass☆15Aug 11, 2021Updated 4 years ago
- Compute mappings between arbitrary trees.☆18Jul 5, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…☆26Sep 2, 2018Updated 7 years ago
- Rust port of the excellent Python library pigpio.py [Unmaintained]☆14Sep 1, 2016Updated 9 years ago
- ☆14Jan 13, 2023Updated 3 years ago
- A proof of concept which generates mutations based on an abstract syntax tree☆15Nov 4, 2016Updated 9 years ago
- Experimental bed to study Linux faults☆26Jul 12, 2022Updated 3 years ago
- A Simple Abstract Interpreter, built for teaching purposes☆20May 13, 2020Updated 6 years ago
- OCaml record fields as first class values☆22May 18, 2026Updated 3 weeks ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago
- Probing pre-trained source code models☆15Apr 27, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An LLVM-based formal verification frontend for C programs.☆26Oct 29, 2021Updated 4 years ago
- Labeled vulnerable functions statistics analysis and neural network training☆30Jul 25, 2019Updated 6 years ago
- mBERT is a mutation testing tool that uses a pre-trained language model (CodeBERT) to generate mutants.☆17Aug 20, 2025Updated 9 months ago
- A DSL for Linear Temporal Logic + Interface with Z3 for solving☆11Mar 12, 2015Updated 11 years ago
- Implementation of differential fuzz testing for TLS handshake messages☆12Jul 2, 2021Updated 4 years ago
- Evolutionary optimization of extant software☆29Jun 9, 2014Updated 11 years ago
- ☆20Feb 20, 2017Updated 9 years ago