Stars
Dafny is a verification-aware programming language
本书为《C++17 the complete guide》的个人中文翻译，仅供学习和交流使用，侵删
A modern, powerful, and user-friendly C++ language server built from scratch
A server software reimplementation for a certain anime game (with newer version supported).
A C++ High Performance Web Server using io_uring and cpp20 coroutine
C++高性能分布式服务器框架,webserver,websocket server,自定义tcp_server（包含日志模块，配置模块，线程模块，协程模块，协程调度模块，io协程调度模块，hook模块，socket模块，bytearray序列化，http模块，TcpServer模块，Websocket模块，Https模块等, Smtp邮件模块, MySQL, SQLite3, ORM,Red…
A fast multi-producer, multi-consumer lock-free concurrent queue for C++11
A fast single-producer, single-consumer lock-free queue for C++
Using trust_me、shut_up、cpp_start or other keywords replace 'unsafe' in Rust. Compiler shut up!
一个命令行弹幕姬 / display bullet from bilibili live stream comments in command line.
A new markup-based typesetting system that is powerful and easy to learn.
A purely functional programming language with first class types
Program analysis and verification framework
Magnificent app which corrects your previous console command.
UB-aware interpreter for LLVM debugging
Enabling the Windows Subsystem for Linux to include support for Wayland and X server related scenarios
A Project dedicated to making GPU Partitioning on Windows easier!
Light-weight header-only library for parallel function calls and continuations in C++ based on Eric Niebler's talk at CppCon 2019.
Finite State Machine using C++20 coroutines with symmetric transfer