哔哩发评反诈

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实验室的公开演讲，或者决定公开的组内报告

Illegal Model ngl 🐧🐧

A unification-based alias analysis and related tools

Magnificent app which corrects your previous console command.

Xv6 for RISC-V

The Book of Modern C++

本仓库包含上海交通大学IPADS实验室设计的操作系统课程系列实验。

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

A list of Free Software network services and web applications which can be hosted on your own servers

Libre Hardware Monitor, home of the fork of Open Hardware Monitor

A simple bot that uses Selenium to farm M$ Rewards in Python

Nix, the purely functional package manager

Software Analysis and Verification Group

Add Custom Context Menu For Windows11