iOS/macOS Research Swiss Army Knife

Semantics of x86-64 in K

Example implementation of Arm's Architecture Specification Language (ASL)

Windows System Call Tables (NT/2000/XP/2003/Vista/7/8/10/11)

Extremely Fast Compression algorithm

A Simple showcase for the Sea-of-Nodes compiler IR

A native, user-mode, multi-process, graphical debugger.

🚀Memory safe, blazing fast, configurable, minimal hello world written in rust(🚀) in a few lines of code with few(1092🚀) dependencies🚀

A fully compliant RISC-V computer made inside the game Terraria

Browsix is a Unix-like operating system for the browser.

xv6 OS

wasm viewer

Simple, Fast, Portable Profiling

an interpreted programming language allowing you to express your thoughts in a clean and expandable code without a second thought

Stabilizer: Rigorous Performance Evaluation

Coz: Causal Profiling

A fast, small, safe, gradually typed embeddable scripting language derived from Lua

An ongoing attempt to re-engineer LuaJIT from scratch

Rust for Windows

A Modern C11 compiler (STILL EARLY)

Documentation of NVIDIA chip/hardware interfaces

Lean 4 programming language and theorem prover

Reference monospace terminal renderer

A high-level, safe, zero-allocation TrueType font parser.

A tiny Skia subset ported to Rust

Dangerous Threads Crew

Historically first (actually 0.01) release of linux kernel made by Linus Torvalds

Official Git mirror of the SQLite source tree