herdr-gpui github.com ↗

herdr ↗Dev tools

A tool to run multiple agents on one project in separate git worktrees.

hlock ↗Dev tools

A tool for porting harness configuration across coding agent harnesses.

Antigravity Dev tools

Google's agentic coding harness with GUI and CLI clients.

Glamorous Toolkit ↗Dev tools

A moldable development environment built on Pharo for creating custom tools and data explorations.

PowerShell Crescendo ↗Dev tools

A Microsoft module for generating PowerShell cmdlets that wrap native command-line tools.

qmd ↗Dev tools

Local search engine for markdown documents with hybrid semantic search.

OpenCode Dev tools

An open-source terminal coding agent harness.

yt-dlp Dev tools

A command-line tool for downloading video and audio from YouTube and other sites.

F-Droid

An app store distributing free and open-source Android apps.

Pi ↗

An extensible terminal coding agent that can switch between models.

Claude Code

Anthropic's terminal-based coding agent harness.

Collie ↗

A mobile interface to desktop agent sessions via tmux, zellij or herdr.

Forgejo

A self-hostable community-driven software forge.

OpenCode

An open-source terminal coding agent harness.

OrbStack

A macOS app for running Docker containers and Linux VMs.

Playwright

A browser automation framework for end-to-end testing.

lossy-git ↗

A toy version control system that stores code by training a neural network and reconstructs it on checkout.

uv

Fast Python package and project manager.

Aeneas ↗

A toolchain that translates safe Rust programs into proof assistants like Lean for verification.

Alloy ↗

A lightweight formal modeling language and analyzer for software designs.