A library for parsing, editing, and saving EXIF data

distributed builds for C, C++ and Objective C

A Tiny Linux-Compatible Kernel

A collection of TLA⁺ specifications of varying complexities.

利用sms-active API，自动注册openAI账号并获取API key的脚本

An Adaptive Radix Tree (ART) implementation in Go

x86 PC emulator and x86-to-wasm JIT, running in the browser

Cross-platform, multi-language implementation of multiple streaming percentile algorithms

Casbin Neo (neo for new engine option)

A Q&A platform software for teams at any scales. Whether it's a community forum, help center, or knowledge management platform, you can always count on Apache Answer.

Implementations of SIMD instruction sets for systems which don't natively support them.

A power tool to debug memory-related issues

JuiceFS is a distributed POSIX file system built on top of Redis and S3.

TLA+ specification for the Raft consensus algorithm

Specifying and Verifying the consensus algorithm in PaxosStore using TLA+

Distributed reliable key-value store for the most critical data of a distributed system

PCSX2 - The Playstation 2 Emulator

The Lemon Operating System

Tutorial: Writing a "bare metal" operating system for Raspberry Pi 4

PCSX2 - The Playstation 2 Emulator

OceanBase is an enterprise distributed relational database with high availability, high performance, horizontal scalability, and compatibility with SQL standards.

A Go unikernel running on x86 bare metal

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

Diablo for the Nintendo Switch

Test suite to help you write your own C compiler

A minimalist C compiler with x86_64 code generation