Mira miracode.ai ↗

Gerrit ↗Dev tools

A web-based code review system for Git.

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.

Gitea ↗Dev tools

A lightweight self-hosted Git service.

Obtainium ↗Dev tools

An Android app that installs and updates apps directly from their release sources.

OneDev Dev tools

A self-hosted Git server with built-in CI/CD and issue tracking.

Verus ↗Dev tools

A tool for verifying the correctness of Rust code.

Open Remote - SSH ↗Dev tools

An open-source remote SSH extension for VS Code forks like VSCodium.

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.