Vitruvius vitruvius.8by3.com ↗

Gerrit ↗Dev tools

A web-based code review system for Git.

DSH ↗Dev tools

A customizable agent harness supporting subagents and plugins via the Cordis framework.

Antigravity ↗Dev tools

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

Track Awesome List ↗Dev tools

A site that tracks updates to awesome lists on GitHub.

CodeApprove ↗Dev tools

An alternative code review interface for GitHub pull requests.

Aeneas ↗Dev tools

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

lazygit ↗Dev tools

A terminal UI for git.

herdr ↗Dev tools

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

Pi ↗

An extensible terminal coding agent that can switch between models.

Forgejo ↗

A self-hostable community-driven software forge.

OpenCode ↗

An open-source terminal coding agent harness.

herdr ↗

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

Claude Code ↗

Anthropic's terminal-based coding agent harness.

F-Droid ↗

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

Radicle ↗

A peer-to-peer code collaboration stack built on Git.

Aurora Store ↗

An open-source alternative client for downloading apps from Google Play.

Flux ↗

A refinement type checker for Rust.

GitLab ↗

A Git hosting and DevOps platform with an open-source community edition.

Gitea ↗

A lightweight self-hosted Git service.

Jujutsu ↗

A version control system that can use git as a storage backend.