Dev tools
62 tools recommended in Hacker News comment threads, most-mentioned first.
- F-Droid3 threads
An app store distributing free and open-source Android apps.
- OpenCode2 threads
An open-source terminal coding agent harness.
- OrbStack2 threads
A macOS app for running Docker containers and Linux VMs.
- 2 threads
- lossy-git ↗2 threads
A toy version control system that stores code by training a neural network and reconstructs it on checkout.
- uv2 threads
Fast Python package and project manager.
- Aeneas ↗1 thread
A toolchain that translates safe Rust programs into proof assistants like Lean for verification.
- 1 thread
- 1 thread
- Aurora Store1 thread
An open-source alternative client for downloading apps from Google Play.
- Blink Shell1 thread
A terminal emulator and SSH/Mosh client for iOS.
- 1 thread
- Claude Code1 thread
Anthropic's terminal-based coding agent harness.
- 1 thread
- 1 thread
- 1 thread
- Fish1 thread
A user-friendly interactive Unix shell.
- 1 thread
- Forgejo1 thread
A self-hostable community-driven software forge.
- 1 thread
- 1 thread
- GitHub CLI1 thread
GitHub's official command-line tool wrapping its API.
- Home Manager1 thread
A Nix-based tool for declaratively managing user environments and dotfiles.
- 1 thread
- 1 thread
- 1 thread
- LTspice1 thread
A SPICE-based analog circuit simulator from Analog Devices.
- 1 thread
- 1 thread
- Miri1 thread
An interpreter for Rust's mid-level IR that detects undefined behaviour in unsafe code.
- Numbat ↗1 thread
A statically typed programming language and calculator for scientific computations with physical units.
- 1 thread
- Oh My Posh1 thread
A customizable prompt theme engine for shells including PowerShell.
- Playwright1 thread
A browser automation framework for end-to-end testing.
- PowerShell Crescendo ↗1 thread
A Microsoft module for generating PowerShell cmdlets that wrap native command-line tools.
- 1 thread
- Rosalina1 thread
The in-game menu of Luma3DS custom firmware, which includes a GDB stub for debugging 3DS software.
- 1 thread
- Sublime Merge1 thread
A Git GUI client from the makers of Sublime Text.
- Sunshine1 thread
Self-hosted game streaming server for streaming a PC's games to other devices.
- TLA+1 thread
A formal specification language by Leslie Lamport for designing and checking systems.
- Termius1 thread
An SSH client app for mobile and desktop.
- Web Origami ↗1 thread
A JavaScript-like dialect and toolkit for building static sites with built-ins for Markdown and RSS.
- 1 thread
- 1 thread
- Zola1 thread
A single-binary static site generator written in Rust.
- cargo-hakari1 thread
A Cargo tool that manages a workspace-hack crate to unify dependency features across a workspace.
- deja-vu1 thread
A tool for searching conversation history across multiple AI coding harnesses.
- 1 thread
- immich-go ↗1 thread
A command-line uploader for importing photos, including Google Takeout archives, into Immich.
- 1 thread
- 1 thread
- 1 thread
- 1 thread
- 1 thread
- try ↗1 thread
A tool that runs commands in an overlay of your system so you can inspect, apply or discard their effects.
- 1 thread
- yt-dlp1 thread
A command-line tool for downloading video and audio from YouTube and other sites.
- 1 thread
- 0 threads
- Gitea0 threads
A lightweight self-hosted Git service.
- Kani0 threads
Kani is a bit-precise model checker for Rust code.