Native space switching on macOS with no animation

AeroSpace is an i3-like tiling window manager for macOS

The SQL IDE for Your Terminal.

Use nvim as a pager to view manpages, diffs, etc with nvim's syntax highlighting

💾 Simple session management for Neovim

Your Neovim AI sidekick

Framework for solving discrete optimization problems using a combination of Mixed-Integer Linear Programming (MIP) and Machine Learning (ML)

A curated list of mathematical optimization courses, lectures, books, notes, libraries, frameworks and software.

Stacked PRs on GitHub for Jujutsu

Multi-agent communication extension for pi coding agent

A phone-first remote UI for Pi that lets you drive a real Pi session from your phone. pi-phone starts a small local web server, launches a dedicated pi --mode rpc subprocess in your current projec…

Run OpenClaw more securely inside NVIDIA OpenShell with managed inference

Tree-sitter for d2lang

The Vim plugin for D2 files

Saves Discord chat logs to a file

It's me!

Entire CLI integration for pi coding agent

Dynamically spin off side agents in their own tmux windows and git worktrees

git worktrees + tmux windows for zero-friction parallel dev

Additional exercises and data for EE364a. No solutions; for public consumption.

Stinemates, Watson, Adam, Mahir, Paul

Web search and content extraction extension for Pi coding agent

Token-efficient MCP adapter for Pi coding agent

Vim mode for Pi

A set of tools to connect to AI agents, to allow them to use Todoist on a user's behalf. Includes MCP support.

A recursive coding agent inpired by RLMs

⌥ AI Coding agent for the terminal — hash-anchored edits, optimized tool harness, LSP, Python, browser, subagents, and more

PostgreSQL connection pooler, load balancer and database sharder.

GenX: a configurable power system capacity expansion model for studying low-carbon energy futures. More details at : https://genx.mit.edu