Lists (2)
Starred repositories
ExploitGym is a large-scale, realistic benchmark built from real-world vulnerabilities designed to evaluate AI agents' ability to develop exploits.
Local AI, native to your Mac. Chat, serve, monitor, and connect MLX models from one macOS app.
ggml speech-to-text inference for 16+ model families
Give agents an operating system as a library. Runs in your existing backend – no sandboxes, VMs, or SaaS. Powered by WebAssembly & V8 isolates.
WebKit compiled to WebAssembly: a full browser engine running inside a browser tab, rendering to canvas, networking over Wisp.
Real Goroutines for Python 3.13t+ free-threaded.
SpaceXAI's coding agent harness and TUI. Fullscreen, mouse interactive, extensible.
A data-structure parameterization system written for embedding context in JSON objects
an implementation of the ideas in Erik Meijer's "Guardians of the Agents: Formal Verification of AI Workflows" (Communications of the ACM, January 2026)
Cross-platform WebDriver server for Tauri applications (Linux, macOS, Windows)
Turn a terminal session into a good-looking animated GIF. A vhs wrapper with an attractive default look.
Python library for running a MicroPython sandbox using WebAssembly
Finds potential accessibility gaps, files GitHub issues to track them, and attempts to fix them with Copilot.
Observable Plot charts for Datasette Agent
Universal Rust multiplexer with a typed SDK — drive any CLI or TUI app from code. Native on Linux, macOS, and Windows.
Data collection and analysis for a PyCon talk on GitHub Actions security across Python packages.
Foundation model for tiny devices; 14mb, 26m params, 1-6k toks/sec on mobiles, wearables smart home and robots.