Public results and products from DARPA AIxCC
☆12Aug 11, 2025Updated last year
Alternatives and similar repositories for aixcc-public
Users that are interested in aixcc-public are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Testing utilities for FreeType.☆14Mar 25, 2026Updated 7 months ago
- ☆25Aug 25, 2020Updated 6 years ago
- A greener fuzzer benchmarking platform☆10Jun 2, 2023Updated 3 years ago
- Adobe Reader DC Information Leak Exploit☆23Oct 13, 2022Updated 4 years ago
- Dynamic binary instrumentation based crypto detection framework. Implementation of http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumbe…☆18Feb 22, 2013Updated 13 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A collection of links related to Korean products hacking☆99Feb 19, 2026Updated 8 months ago
- A collection of Apple-related CTF writeups☆17Jan 17, 2022Updated 4 years ago
- The modern, production-ready portfolio template for senior engineers. Next.js 16 + Tailwind CSS v4 + Framer Motion + i18n + Dark Mode.☆20Mar 1, 2026Updated 8 months ago
- Asynchronous pi-calculus in Erlang☆14Feb 22, 2015Updated 11 years ago
- A collection of random scripts.☆10Jul 20, 2015Updated 11 years ago
- A centralized repository for technical and cybersecurity white papers published by MottaSec. Each folder contains a distinct white paper …☆16Oct 14, 2025Updated last year
- New "Brash" Exploit Crashes Chromium Browsers Instantly with a Single Malicious URL☆12Oct 31, 2025Updated last year
- A simple library implementation of binary sessions☆11Jun 18, 2024Updated 2 years ago
- Collects examples used to produce the paper 'Session Types with Linearity in Haskell' by Orchard and Yoshida (2017).☆12Nov 28, 2023Updated 2 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.
- Stateless Network Fuzzer for QEMU (Targeting SLiRP)☆17Oct 19, 2020Updated 6 years ago
- Local-first, LLM-guided, coverage-driven fuzzer for network protocols and binary formats. Single Rust binary. Zero signup.☆15Jul 14, 2026Updated 3 months ago
- Coen is a lightweight reverse connection tunnel to serve contents from firewalled servers without opening ports☆11Updated this week
- CTF collaboration tool for teams☆10Nov 10, 2017Updated 8 years ago
- Prototype allocator for the prevention of use-after-free attacks, as described in the S&P 2020 Paper - "MarkUs: Drop-in use-after-free pr…☆15Jan 14, 2022Updated 4 years ago
- Portable C++17 implementation of ACE-Step 1.5 music generation using GGML. Text + lyrics in, stereo 48kHz WAV out.☆13May 18, 2026Updated 5 months ago
- Chat Server with Cloud Haskell☆12Apr 10, 2018Updated 8 years ago
- Various items related to running linux on a Lenovo Yoga c630.☆11Dec 18, 2020Updated 5 years ago
- ☆12Oct 14, 2026Updated 3 weeks ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- AIxCC: automated vulnerability repair via LLMs, search, and static analysis☆13Jul 16, 2024Updated 2 years ago
- One-for-all python script for running LLVM experiment☆11Jun 30, 2022Updated 4 years ago
- LLM-powered system that discovers and patches zero-day vulnerabilities in open source projects. 4th place, DARPA AIxCC.☆151Updated this week
- Haskell's Core in K.☆20Jun 21, 2017Updated 9 years ago
- Combinator Library for writing test generators and test properties for Android Apps☆12Jul 26, 2019Updated 7 years ago
- knityak code for generating art for knit scarves☆11Jun 17, 2019Updated 7 years ago
- Fuzzle: Making a Puzzle for Fuzzers (ASE'22)☆44Mar 3, 2024Updated 2 years ago
- Universal Prototype Pollution Gadgets in JavaScript Runtimes☆10Oct 18, 2024Updated 2 years ago
- Illustrations of codeql's AST☆12Sep 10, 2021Updated 5 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.
- CodeQL workshop presented during OrangeCon 2024 in Amsterdam. Learn how to use CodeQL for security research.☆13Sep 2, 2024Updated 2 years ago
- Buttercup CRS as submitted to the AIxCC Final Competition☆98Jul 14, 2025Updated last year
- ☆12Oct 16, 2026Updated 3 weeks ago
- Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars☆14Oct 9, 2025Updated last year
- ICSE'22 - PreFuzz: Probabilistic resource-efficient program-smoothing-based Fuzzing☆14Aug 24, 2023Updated 3 years ago
- ☆16Jan 19, 2026Updated 9 months ago
- Public Source code Release of Theori's AIxCC AFC Submission☆274Aug 5, 2025Updated last year