Starred repositories
GitOps-native pipeline that prevents secrets from leaking into version control, automatically rotates compromised credentials, and alerts your team in real time.
A repository for learning various heap exploitation techniques.
Public repo to display CTF writeups, solve scripts, resources, etc
Linux running inside a PDF file via a RISC-V emulator
Turn (almost) any Python command line program into a full GUI application with one line
Book in preparation: introduction to theoretical computer science
Proof of concept agentic solver for nfuncs from DEF CON Quals 2025
A collection of formalized statements of conjectures in Lean.
Standard collection of rules for capa: the tool for enumerating the capabilities of programs
A community driven registry service for Model Context Protocol (MCP) servers.
A MCP Server for Google Scholar: 🔍 Enable AI assistants to search and access Google Scholar papers through a simple MCP interface.
An extremely fast Python package and project manager, written in Rust.
An example to use MultiModal capabilities with Pydantic-AI to process and analyze images
MIT IEEE URTC 2024. GSET 2024. Repository for the "MBASED: Practical Simplifications of Mixed Boolean-Arithmetic Obfuscation". A Binary Ninja decompiler plugin taking ideas from compiler constructi…
Coq library for reasoning about quantum programs
🕵️ IDS with accuracy rates of 94.4% for misuse detection and 99.0% for anomaly detection
Dockerized FastAPI boiler plate similar to Django code structure with views, serializers(pydantic) and model( Sqlalchemy ORM) with dockerized database(PostgresSQL) and PgAdmin. 🚀
a fast, scalable, multi-language and extensible build system