Starred repositories
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
Example repository
A cross-platform, OpenGL terminal emulator.
a minimal, allocation-free Prometheus/OpenMetrics metrics implementation for `no-std` and embedded Rust.
Persists tmux environment across system restarts.
A cheat sheet for if I am somehow incapacitated.