Stars
The efficient SMT-based context-bounded model checker (ESBMC)
uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.
Veins - The open source vehicular network simulation framework.
Home to public development of NIST Special Publication 800-63-3: Digital Authentication Guidelines
A repository for code that I use in my YouTube tutorial on my YouTube channel https://www.youtube.com/channel/UC8GCZM8z4DW4DkaNHtzfpBg
A fast and simple Matrix sticker picker widget
Eclipse SUMO is an open source, highly portable, microscopic and continuous traffic simulation package designed to handle large networks. It allows for intermodal simulation including pedestrians a…
Command-line program to download videos from YouTube.com and other video sites
Python-RSA is a pure-Python RSA implementation.
Reference implementation of OpenLR. A map agnostic, dynamic location referencing method.
Archive your statuses, favorites and media using the Mastodon API (i.e. login required)
Solutions for VANET communication with OMNET++
[.NET] m3u8 downloader 开源的命令行m3u8/HLS/dash下载器，支持普通AES-128-CBC解密，多线程，自定义请求头等. 支持简体中文,繁体中文和英文. English Supported.
Example code for HTML, CSS, and Javascript for Web Developers Coursera Course
For general discussion over Project V development and usage.
RodenLuo / py4e-cn
Forked from csev/py4ewww.py4e.com 和 Python 3.0 书的源码