Stars
wenta0g / oss-fuzz
Forked from google/oss-fuzzOSS-Fuzz - continuous fuzzing for open source software.
Stable Diffusion web UI
A domain-specific probabilistic programming language for modeling and inference with language models
Skia is a complete 2D graphic library for drawing Text, Geometries, and Images.
Hopper is a tool for generating fuzzing test cases for libraries automatically using interpretative fuzzing.
This repo let you embed and query based on your second brain - obsidian
datvo06 / CubiCasa5k
Forked from CubiCasa/CubiCasa5kCubiCasa5k floor plan dataset
datvo06 / Origami
Forked from zakimjz/OrigamiOrigami: Algorithm for Representative Orthogonal Graph Mining and Sampling
Synthesizing programs to link visually-rich document entities. This is the replication code for VRDSynth paper, accepted in ISSTA'24
APISan: Sanitizing API Usages through Semantic Cross-Checking
A lightweight RPC framework based on Springboot implemented with native Java socket interface.
Camera Ready copy of FuzzSlice v1 code for ICSE
A list of open source web security scanners
A GPT-empowered penetration testing tool
A Slay the Spire mod with the subject of Onmyoji: The Card Game
LIBPNG: Portable Network Graphics support, official libpng repository
Smart Greybox Fuzzing (https://thuanpv.github.io/publications/TSE19_aflsmart.pdf)
AFLNet: A Greybox Fuzzer for Network Protocols (https://thuanpv.github.io/publications/AFLNet_ICST20.pdf)