yt-dlp
A youtube-dl fork with additional features and fixes.
Open Source169.1K
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
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.
Alternatives to ESBMC
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
youtube-dl
Download videos from YouTube.com and many other video sites.
Open Source140.5K
Neovim
Vim-fork focused on extensibility and usability. [![Open-Source Software][OSS Icon]](https://github.com/neovim/neovim) ![Freeware][Freeware Icon]
Open Source100.3K