Stars
The efficient SMT-based context-bounded model checker (ESBMC)
A modern MTP device management tool for macOS.
Browse Mastodon, Bluesky, X, Misskey, Nostr and RSS all in one app. One timeline, all your accounts, cross-post everywhere.
Tauri / React re-write of Incrementum
Beginner, advanced, expert level Rust training material
An implementation of Actor, Publish-Subscribe, and CSP models in one rather small C++ framework. With performance, quality, and stability proved by years in the production.
A modern port of Turbo Vision 2.0, the classical framework for text-based user interfaces. Now cross-platform and with Unicode support.
WebRTC/RTSP/RTMP/HTTP/HLS/HTTP-FLV/WebSocket-FLV/HTTP-TS/HTTP-fMP4/WebSocket-TS/WebSocket-fMP4/GB28181/SRT/STUN/TURN server and client framework based on C++11
Produce redistributable builds of Python
《美国反对美国》是王沪宁先生在上世纪80年代末赴美观察写作的。我们知道在那个年代中国对西方特别是美国的追捧有多高，所以突然看到一个学者在80年代就有如此清楚的认识，十分钦佩。由于网上只有效果很差的PDF扫描版，所以我想利用OCR技术和肉眼（人体OCR）来转成现代化的文本格式。目前已经全部完成。
A functional tools for z*e devices (F50 | U30 Air)
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
Filament is a real-time physically based rendering engine for Android, iOS, Windows, Linux, macOS, and WebGL2
C++ library for value-oriented design using the unidirectional data-flow architecture — Redux for C++
API prototyping/mocking server & rust unit tests library to mimic external 3rd party API endpoints with Rhai scripting capabilities
A Git-compatible VCS that is both simple and powerful
Bf-Tree is a modern read-write-optimized concurrent larger-than-memory range index in Rust from MS Research.
automatic differentiation made easier for C++
🍅🍅🍅YOLOv5-Lite: Evolved from yolov5 and the size of model is only 900+kb (int8) and 1.7M (fp16). Reach 15 FPS on the Raspberry Pi 4B~
A simple utility for running and debugging a GitHub Action locally
A State Machine Language DSL procedual macro for Rust
The financial transactions database designed for mission critical safety and performance.
A hardware-aware guide to data structures for system software engineers.