Gitea

A lightweight self-hosted Git service.

ToolDev toolsgit-forgeself-hosted

Recommended in 0 threads

GitLab ↗Dev tools
A Git hosting and DevOps platform with an open-source community edition.
0 threads
Jujutsu ↗Dev tools
A version control system that can use git as a storage backend.
1 thread
GitHub CLI Dev tools
GitHub's official command-line tool wrapping its API.
1 thread
Forgejo Dev tools
A self-hostable community-driven software forge.
1 thread
herdr ↗Dev tools
A tool to run multiple agents on one project in separate git worktrees.
1 thread
Web Origami ↗Dev tools
A JavaScript-like dialect and toolkit for building static sites with built-ins for Markdown and RSS.
1 thread
deja-vu Dev tools
A tool for searching conversation history across multiple AI coding harnesses.
1 thread
Aeneas ↗Dev tools
A toolchain that translates safe Rust programs into proof assistants like Lean for verification.
1 thread

F-Droid
An app store distributing free and open-source Android apps.
3 threads
OpenCode
An open-source terminal coding agent harness.
2 threads
OrbStack
A macOS app for running Docker containers and Linux VMs.
2 threads
Pi ↗
An extensible terminal coding agent that can switch between models.
2 threads
lossy-git ↗
A toy version control system that stores code by training a neural network and reconstructs it on checkout.
2 threads
uv
Fast Python package and project manager.
2 threads
Aeneas ↗
A toolchain that translates safe Rust programs into proof assistants like Lean for verification.
1 thread
Alloy ↗
A lightweight formal modeling language and analyzer for software designs.
1 thread
Arnis ↗
An open-source Rust tool that generates Minecraft worlds from real-world geographic data.
1 thread
Aurora Store
An open-source alternative client for downloading apps from Google Play.
1 thread
Blink Shell
A terminal emulator and SSH/Mosh client for iOS.
1 thread
Cecil ↗
A static website generator written in PHP.
1 thread