Skip to content
View IronsDu's full-sized avatar
😀
😀

Block or report IronsDu

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

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 / …

C++ 1,728 161 Updated Feb 4, 2026

Extremely fast, in memory, JSON and reflection library for modern C++. BEVE, CBOR, CSV, MessagePack, TOML, YAML, EETF

C++ 2,365 208 Updated Feb 4, 2026

The MongoDB Database

C++ 28,032 5,752 Updated Feb 4, 2026

Artifact for the VLDB 2025 paper, "Design and Modular Verification of Distributed Transactions in MongoDB". Includes TLA+ specifications and code for model-based testing of the WiredTiger API.

TLA 11 Updated Sep 2, 2025

Is Parallel Programming Hard, And If So, What Can You Do About It?

TeX 496 64 Updated Feb 4, 2026

C++ compile-time Rust's like macro_rules implementation

C++ 92 2 Updated Mar 6, 2024

Userspace eBPF runtime for Observability, Network, GPU & General Extensions Framework

C++ 1,373 156 Updated Jan 26, 2026

Production-grade client-side tracing, profiling, and analysis for complex software systems.

C++ 5,489 677 Updated Feb 4, 2026

A modern GUI client based on Tauri, designed to run in Windows, macOS and Linux for tailored proxy experience

TypeScript 95,760 7,017 Updated Feb 4, 2026

A high-performance distributed file system designed to address the challenges of AI training and inference workloads.

C++ 9,694 1,000 Updated Jan 24, 2026

Simple, portable, and self-contained stacktrace library for C++11 and newer

C++ 1,330 143 Updated Dec 26, 2025

distributed consensus protocol's bugs, flaws, deceptive traps, improvements

Makefile 122 6 Updated May 5, 2025

The math library of Lean 4

Lean 2,854 1,058 Updated Feb 4, 2026

A collection of TLA⁺ specifications of varying complexities.

TLA 1,444 213 Updated Jan 19, 2026

The official GitHub page for the survey paper "A Survey of Large Language Models".

Python 12,073 939 Updated Mar 11, 2025

Implement a ChatGPT-like LLM in PyTorch from scratch, step by step

Jupyter Notebook 84,481 12,773 Updated Jan 29, 2026

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

TeX 1,752 275 Updated Oct 29, 2025
TeX 434 101 Updated Apr 18, 2024

A beautiful stack trace pretty printer for C++

C++ 4,233 527 Updated Apr 14, 2025

🌟 Wiki of OI / ICPC for everyone. (某大型游戏线上攻略,内含炫酷算术魔法)

TypeScript 25,402 4,556 Updated Feb 3, 2026

⛽️「算法通关手册」:从零开始的「算法与数据结构」学习教程,200 道「算法面试热门题目」,1000+ 道「LeetCode 题目解析」,持续更新中!

Python 7,557 1,285 Updated Jan 17, 2026

A new kind of science 中文翻译

88 10 Updated Jun 16, 2018

CSP-J/S/X, NOIP, NOI, IOI, 信息学奥林匹克竞赛历年真题收录 | QQ交流群529507453

Rich Text Format 632 218 Updated Dec 18, 2025

The book "Performance Analysis and Tuning on Modern CPU"

TeX 3,459 239 Updated Jun 9, 2025

TuGraph: A High Performance Graph Database.

C++ 1,702 209 Updated Jan 22, 2026

《软件设计的哲学》中文翻译 | Chinese translation of A Philosophy of Software Design

TeX 1,095 329 Updated Jan 2, 2026

人人都能用英语

TypeScript 33,467 4,710 Updated Feb 3, 2026

The AI-native database built for LLM applications, providing incredibly fast hybrid search of dense vector, sparse vector, tensor (multi-vector), and full-text.

C++ 4,372 413 Updated Feb 3, 2026

History of type theory (Chinese).

TeX 358 11 Updated May 25, 2025

C++11/14/17 std::expected with functional-style extensions

C++ 1,803 158 Updated Sep 1, 2025
Next