StacksBrowseCategoriesSubmit
Star on GitHub

Tools from Product Hunt, GitHub Awesome lists, and our community, organized into practical workflows.

Star on GitHub
ExploreTool StacksBrowse ToolsCategories
ContributeSubmit a ToolSources & SelectionAbout TooolsEditorial Standards
Open sourceGitHub Repository
© 2026 TooolsLast updated
Toolskani

kani

The Kani Rust Verifier is a bit-precise model checker for Rust.

Development
45views5clicks
GitHub

About

The Kani Rust Verifier is a bit-precise model checker for Rust.

Listing source: Original source. How we curate tools.

More Development tools

rea

Reverse engineer anything with agents, from app behavior down to native binaries.

Open Source219.4K
7views3clicks
yt-dlp

A youtube-dl fork with additional features and fixes.

Open Source197.6K
526views
Visit Website

At a Glance

Views45
Clicks5
GitHub StarsView kani on GitHub, 3.1K
PricingOpen Source
PlatformsWeb
20
clicks
youtube-dl

Command-line program to download videos from YouTube.com and other video sites [![Open-Source Software][OSS Icon]](https://github.com/rg3/youtube-dl/) ![Freeware][Freeware Icon]

Open Source140.5K
527views14clicks
youtube-dl

Download videos from YouTube.com and many other video sites.

Open Source140.5K
516views18clicks