Fast stackful fibers with a NUMA-aware work-stealing scheduler

Forge: A Tool and Language for Teaching Formal Methods

Add hardship to your tests

Shuttle is a library for testing concurrent Rust code

CLI proxy that reduces LLM token consumption by 60-90% on common dev commands. Single Rust binary, zero dependencies

TUI for reviewing diffs, files, and documents with inline annotations

Godot Engine – Multi-platform 2D and 3D game engine

Linux kernel block layer testing framework

The Linux Kernel Module Programming Guide (updated for 5.0+ kernels)

Public repository of the QuickJS Javascript Engine.

A post-modern modal text editor.

fixed-length integer trim

Rust async runtime based on io-uring.

Minimal Rust-inspired C++20 STL replacement

Fast lossless data compression in C++

A detour through the Linux dynamic linker

Concurrency library for C (coroutines)

Include binary files in C/C++

A simpler site generator. Transforms a directory of templates (of varying types) into HTML.

Concurrent trie-hash map library

QSBR and EBR library

A list papers of learning how to building database system

An Educational parallel Algorithm collection

Experimenting with persistence in C

brpc is an Industrial-grade RPC framework using C++ Language, which is often used in high performance system such as Search, Storage, Machine learning, Advertisement, Recommendation etc. "brpc" mea…

Cross-platform library for building Telegram clients

Trace pthread events

A fast PostgreSQL Log Analyzer

A markup-based typesetting system that is powerful and easy to learn.