Forgejo

Gitea Dev tools

A lightweight self-hosted Git service.

Codeberg ↗Hosting & SaaS

A non-profit hosted Git forge for free and open source projects.

Web Origami ↗Dev tools

A JavaScript-like dialect and toolkit for building static sites with built-ins for Markdown and RSS.

Home Manager Dev tools

A Nix-based tool for declaratively managing user environments and dotfiles.

Jujutsu ↗Dev tools

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

Fish Dev tools

A user-friendly interactive Unix shell.

yt-dlp Dev tools

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

immich-go ↗Dev tools

A command-line uploader for importing photos, including Google Takeout archives, into Immich.

F-Droid

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

OpenCode

An open-source terminal coding agent harness.

OrbStack

A macOS app for running Docker containers and Linux VMs.

Pi ↗

An extensible terminal coding agent that can switch between models.

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.

Arnis ↗

An open-source Rust tool that generates Minecraft worlds from real-world geographic data.

Aurora Store

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

Blink Shell

A terminal emulator and SSH/Mosh client for iOS.

Cecil ↗

A static website generator written in PHP.