[ICLR 2026] On the Generalization of SFT: A Reinforcement Learning Perspective with Reward Rectification.

All the private and public audits that I have worked on.

The first Claude skill for writing production-grade, security-first Solana programs. Anchor & Native Rust. Built by Frank Castle.

Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞

Playwright is a framework for Web Testing and Automation. It allows testing Chromium, Firefox and WebKit with a single API.

Getting started with static program analysis. 静态程序分析入门教程。

stb single-file public domain libraries for C/C++

A minimal yet professional single agent demo project that showcases the core execution pipeline and production-grade features of agents.

structured outputs for llms

Simple 2D Graphics Library for C

Public repository of the Micro QuickJS Javascript Engine

Code for loralib, an implementation of "LoRA: Low-Rank Adaptation of Large Language Models"

Swagger tools for documenting API's built on ASP.NET Core

Large Language Model guided Protocol Fuzzing (NDSS'24)

A fuzzing tool for closed-source binaries based on Unicorn and LibFuzzer

A python module to repair invalid JSON from LLMs

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

syzkaller is an unsupervised coverage-guided kernel fuzzer

Effective REST APIs Testing with Error Message Analysis

[SOSP'25] Automatic checker synthesis for system-level static analysis

EDB: The Ethereum Project Debugger

A feature-rich command-line audio/video downloader

A summary and solutions for 200+ CTF blockchain challenges

SVM program test harness

《Chrome V8源码》系列技术文章，3~4天一篇，持续更新中

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Rust implementations of Ethereum Improvement Proposals (EIPs)