Lists (15)
Starred repositories
This tool is designed for photographers and iNaturalist users who record GPS tracks separately and want to write location information into their photos before uploading. Automatically geotag photos…
Daily news briefing agent — Haiku + Sonnet pipeline with Obsidian integration
Ai Powered Bird Photography Culling Tools
A fast and powerful gadget finder and ROP chain generator. A research prototype for the ropbot paper accepted at NDSS'26.
The Rails app behind iNaturalist.org
A framework for the elicitation, specification, formalization and analysis of requirements.
MiniCPS: a framework for Cyber-Physical Systems real-time simulation, built on top of mininet
Scada-LTS is an Open Source, web-based, multi-platform solution for building your own SCADA (Supervisory Control and Data Acquisition) system.
Project created to practice SDN-based Attack & Defence on Modbus/TCP and HTTP protocols in an ICS network.
ICSs virtualized lab for cybersecurity testing
Tennessee Eastman Challenge Problem Archive
Version 2 of the Graphical Realism Framework for Industrial Control Simulation (GRFICS)
Auto-configure and then control your Midea M-Smart devices (Air conditioner, Fan, Water heater, Washer, etc) via local area network.
Magic The Gathering Arena bot that auto-plays to brute force daily and weekly rewards for gold/XP. Haven't used it in years, likely doesn't work anymore! Uploading here for reference.
Modern CLI for exploring vulnerability data with powerful search, filtering, and analysis capabilities.
A Tool to make Build and Run eBPF programs easier
A collection of eBPF programs demonstrating bad behavior, presented at DEF CON 29
BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more