The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)

A blazingly fast and lightweight language detection library for Rust

LLM inference in C/C++

SGLang is a fast serving framework for large language models and vision language models.

A puzzle/construction game about quantum computing.

一个用来记录武汉大学杨景媛论文问题的仓库

C++ based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)

clangd language server

Multiplayer at the speed of light

Dafny is a verification-aware programming language

本书为《C++17 the complete guide》的个人中文翻译，仅供学习和交流使用，侵删

A next-generation C++ language server for modern C++, focused on high performance and deep code intelligence

为知乎生成可分享的卡片及 Instant View

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++

The Z3 Theorem Prover

Asynchronous Low Latency C++ Logging Library

Using trust_me、shut_up、cpp_start or other keywords replace 'unsafe' in Rust. Compiler shut up!

一个用于黑听bilibili的tui客户端，支持跨平台

一个命令行弹幕姬 / 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

PLCT实验室的公开演讲，或者决定公开的组内报告

YSM models I collected from various sources, free to use. Please join YSM discord server if have any question:

Program analysis and verification framework