Programming Research Lab

agent-shell

agent-shell is a native Emacs mode designed to interact with AI agents powered by the Agent Client Protocol (ACP).

Waku

One native app for all your coding agents.

Interactive React components for network diagrams, fiber networks, and rack infrastructure visualization.

Interactive, animated architecture maps for any Hugging Face model

PANTHEON

Cross-platform GPU stress testing, diagnostics, profiling, and performance benchmarks.

grep

Structural code search

Idea Miner

Real Paid Demand Signals for Indie Developers

Cogram Studio is a platform that provides an AI assistant for developers, designed to help with coding tasks and research.

Array Programming Language for ML

Tailscale for agents

TDQS

Score how well your MCP tools speak to agents.

Moadim

Put your agents on a loop

myjs

A JavaScript interpreter for Python -- run .js against a DOM, call native C via ffi, reach the Python ecosystem

brw

Semantic browser control for agents

Genotype

A programming language that transpiles to idiomatic TypeScript/Rust/Python types, allowing effortless type-safe interop between languages.

Benchmarks for AI-native code intelligence.

Berge–Fulkerson conjecture

Let G be a finite bridgeless cubic graph (every vertex has degree 3 and no edge is a bridge). Do there exist six perfect matchings M₁, …, M₆ of G, repetitions allowed, such that ev