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
ToolsJBMC

JBMC

Bounded model-checker for Java (bytecode), verifies user-defined assertions, standard assertions, several coverage metric analyses.

Development
25views3clicks
Awesome List

About

Bounded model-checker for Java (bytecode), verifies user-defined assertions, standard assertions, several coverage metric analyses.

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

Views25
Clicks3
GitHubClosed source
PricingFree
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