CSharpRepl fuqua.io ↗

GitHub CLI ↗Dev tools

GitHub's official command-line tool wrapping its API.

yt-dlp ↗Dev tools

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

CodeApprove ↗Dev tools

An alternative code review interface for GitHub pull requests.

git-dedup ↗Dev tools

A per-machine global git object cache that deduplicates clones, similar to how pnpm shares packages.

CBMC Dev tools

A bounded model checker for C and C++ programs.

ASDF ↗Dev tools

The standard build and system definition facility for Common Lisp.

Fish ↗Dev tools

A user-friendly interactive Unix shell.

RecordStream ↗Dev tools

A set of Unix-style command-line tools that operate on streams of JSON records.

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.