hn1k github.com ↗

Track Awesome List ↗Dev tools

A site that tracks updates to awesome lists on GitHub.

hlock ↗Dev tools

A tool for porting harness configuration across coding agent harnesses.

OneDev Dev tools

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

Moto ↗Dev tools

A Python library for mocking AWS services in tests.

modern-unix ↗Dev tools

A short curated list of modern alternatives to common Unix command-line tools.

Aeneas ↗Dev tools

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

basedpyright ↗Dev tools

A community fork of Pyright with extra features and open language server capabilities.

wasm-bindgen ↗Dev tools

A tool and library for interop between Rust-compiled WASM and JavaScript.

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.