Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.

Bf-Tree is a modern read-write-optimized concurrent larger-than-memory range index in Rust from MS Research.

C++ p2300 proposal in Rust

Write like a high-level language, run like C.

A framework for distributed systems verification, with fault injection

High-performance distributed KV storage based on LSM Tree

bitfields implementation for rust

🐹 Deep clean and optimize your Mac.

Hybrid-tier key-value storage engine built on object storage & local SSDs. Engineered for batch-write efficiency and read optimization with ultra-low tail latency.

Construct: Declarative data structures for python that allow symmetric parsing and building

Cycle-tracking garbage collector library for Rust

一键将 Markdown 和网页 AI 对话（ChatGPT/DeepSeek等）完美粘贴到 Word、WPS 和 Excel 的效率工具 | One-click paste Markdown and AI responses (ChatGPT/DeepSeek) into Word, WPS, and Excel perfectly.

Embedded C/C++ web server

A simple tool for file system and block device fault injection tests

Get 10X more out of Claude Code, Codex or any coding agent

🔀 Fastest lock-free SPSC queue implemented in Zig/C++

A bounded single-producer single-consumer wait-free and lock-free queue written in C++11

Modern C++ actor framework based on std::execution, only requires C++20.

Universal skills loader for AI coding agents - npm i -g openskills

Analyze ELF binaries like a boss 😼🕵️‍♂️

Beautiful git diff viewer, generate commits with AI, get summary of changes, all from the CLI

Command-line sampling profiler for macOS, Linux, and Windows

A C++20 library for fast serialization, deserialization and validation using reflection. Supports JSON, Avro, BSON, Cap'n Proto, CBOR, CSV, flexbuffers, msgpack, parquet, TOML, UBJSON, XML, YAML / …

A reactive notebook for Python — run reproducible experiments, query with SQL, execute as a script, deploy as an app, and version with git. Stored as pure Python. All in a modern, AI-native editor.

Implementation of the std::execution (P2300, sender/receiver) proposal

A query and indexing engine for Redis, providing secondary indexing, full-text search, vector similarity search and aggregations.

🦋 An Infographic Generation and Rendering Framework, bring words to life with AI!

A meta-language for Go that adds Result types, error propagation (?), and pattern matching while maintaining 100% Go ecosystem compatibility

Backup automation for self-hosters. Built on top of restic

Lightweight tool for managing linux virtual machines