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
ToolsESBMC

ESBMC

ESBMC is an open source, permissively licensed, context-bounded model checker based on satisfiability modulo theories for the verification of single- and multi-threaded C/C++ programs.

Development
23views3clicks
Awesome List

About

ESBMC is an open source, permissively licensed, context-bounded model checker based on satisfiability modulo theories for the verification of single- and multi-threaded C/C++ programs.

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

Views23
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