Starred repositories
Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one
A modern replacement for Redis and Memcached
LIEF - Library to Instrument Executable Formats (C++, Python, Rust)
Lean 4 programming language and theorem prover
An open-source C++ library developed and used at Facebook.
A curated list of awesome Go frameworks, libraries and software
C++ based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
`std::execution`, the proposed C++ framework for asynchronous and parallel programming.
🎈 Updated daily! A list of popular BitTorrent Trackers! / 每天更新!全网热门 BT Tracker 列表!
Rolling Release Stable Kernel for Windows Subsystem for Linux2 (WSL2)
Library providing helpers for the Linux kernel io_uring support
A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.
A fast multi-producer, multi-consumer lock-free concurrent queue for C++11
mimalloc is a compact general purpose allocator with excellent performance.
A General-purpose Task-parallel Programming System in C++
The snapd and snap tools enable systems to work with .snap files.
High performance server-side application framework
🌟 Wiki of OI / ICPC for everyone. (某大型游戏线上攻略,内含炫酷算术魔法)