Run frontier MoE models on hardware you already own — pure C, zero deps, experts streamed from disk. Tiny engine, immense model. 🐦

GLM-5: From Vibe Coding to Agentic Engineering

🌸 Possibly the smallest Lua compiler ever

Code for plug-and-play non-line-of-sight imaging

Create ridiculously fast Lexers

Simon Cipher Library

The Hitchhiker's Guide to Logical Verification (2026 edition) and associated materials

🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧

A fast and safe implementation of stackful coroutines in Rust

Open-source Python SDK for running quantum circuits across multiple hardware backends

A project to digitalise results from physics into Lean.

ESP-IDF project that build LightMyInk Binaries

FreeBSD Device Driver Book

H-hat's language server protocol (LSP).

cuda-oxide is an experimental Rust-to-CUDA compiler that lets you write (SIMT) GPU kernels in safe(ish), idiomatic Rust. It compiles standard Rust code directly to PTX — no DSLs, no foreign languag…

Fast Exact Simulation of Near-Clifford Quantum Circuits

Rust bindings for the Python interpreter

Safe Rust bindings to POSIX-ish APIs

Truly independent web browser

INQASM is a compiler for InQuIR programs to NetQASM.

Gaussian splats in your terminal.

'Classic' FreeRTOS distribution. Started as Git clone of FreeRTOS SourceForge SVN repo. Submodules the kernel.

FreeRTOS kernel files only, submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.

FRANK OS - The RP2350 Operating System

Ghidra is a software reverse engineering (SRE) framework

CUNQA is a platform for emulating distributed quantum computing (DQC) architectures on HPC environments.

Cluster extension for actix