TypeForge: Synthesizing and Selecting Best-Fit Composite Data Types for Stripped Binaries (S&P 2025)

Language models for Coq based on data collected from the coq lsp.

블록코드 생성기

[EMNLP 2024] CodeJudge: Evaluating Code Generation with Large Language Models

Dataset for multi-hunk bugs repairing

Qodo-Cover: An AI-Powered Tool for Automated Test Generation and Code Coverage Enhancement! 💻🤖🧪🐞

A simuator for Patch Scheduling Algorithm for APR tools with our new Gresino.

Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown

Repository for Software STARLAB benchmarks

A powerful static binary rewriting tool

CCFinderX with autotools support

Vitis In-Depth Tutorials

Vitis Libraries

life function compiler

A curated list of awesome responsible machine learning resources.

Migrate C code to Rust

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

Dynamic analysis framework for Python

AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.

Hot Reloading and Profiling for Python

Fuzzle: Making a Puzzle for Fuzzers (ASE'22)

Javascript for refined palates: a Python 3 to ES6 Javascript translator