Starred repositories
Persistent remote applications for X11; screen sharing for X11, MacOS and MSWindows.
ConcoLLMic: the first language- and theory-agonistic concolic execution engine via LLM agents
[SOSP'25] Automatic checker synthesis for system-level static analysis
AI-powered workflow automation and AI Agents platform for AppSec, Fuzzing & Offensive Security. Automate vulnerability discovery with intelligent fuzzing, AI-driven analysis, and a marketplace of s…
John the Ripper jumbo - advanced offline password cracker, which supports hundreds of hash and cipher types, and runs on many operating systems, CPUs, GPUs, and even some FPGAs
REcollapse is a helper tool for black-box regex fuzzing to bypass validations and discover normalizations in web applications
Bear is a tool that generates a compilation database for clang tooling.
SGLang is a fast serving framework for large language models and vision language models.
An open-source AI agent that lives in your terminal.
Unsafe Unpacking Vulnerability: Lab Code, Semgrep Rules and Secure Implementation Guide
ESLint rules for Node Security
✅ The Node.js best practices list (July 2024)
OpenZeppelin Contracts is a library for secure smart contract development.
Language-agnostic AI auditor that autonomously builds and refines adaptive knowledge graphs for deep, iterative code reasoning.
multilspy is a lsp client library in Python intended to be used to build applications around language servers.
Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…
Context7 MCP Server -- Up-to-date code documentation for LLMs and AI code editors
Defines a common protocol for language servers.
⚡A CLI tool for code structural search, lint and rewriting. Written in Rust
Python decompiler for modern Python versions.
Python decompiler for 3.7-3.8 Stripped down from uncompyle6 so we can refactor and start to fix up some long-standing problems