cargo-hakari

A Cargo tool that manages a workspace-hack crate to unify dependency features across a workspace.

ToolDev toolsrustcargobuild-cache

Recommended in 1 thread

2026 is an exciting year for the Rust compiler (and me)
yoyo-code.com · 6 days ago
Suggested for getting more reuse of compiled dependencies and less target bloat.

wasm-bindgen ↗Dev tools
A tool and library for interop between Rust-compiled WASM and JavaScript.
1 thread
rust-glancer ↗Dev tools
A Rust code-analysis tool positioned as a lighter alternative for IDE support.
1 thread
pyxis ↗Dev tools
A compiler that generates Rust types matching C++ memory layouts.
1 thread
Creusot ↗Dev tools
A deductive verifier for Rust code.
1 thread
Aeneas ↗Dev tools
A toolchain that translates safe Rust programs into proof assistants like Lean for verification.
1 thread
herdr ↗Dev tools
A tool to run multiple agents on one project in separate git worktrees.
1 thread
Kani Dev tools
Kani is a bit-precise model checker for Rust code.
0 threads
OrbStack Dev tools
A macOS app for running Docker containers and Linux VMs.
2 threads

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