Stars
Memory-safe Rust replacement firmware for the Sonos hardware you already own — BE-PowerPC + BE-MIPS, S1 + S2. Research workspace: toolchain bake-offs, QEMU proofs, board evidence. Companion to fran…
Terraform without the state file bottleneck
DeepSeek Harness: Everything is a Plugin.
Towards a More Autonomous Agent System
An out-of-the-box, zero-config, Rust-powered, self-hosted code hosting platform
Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.
Always-on profiler for Rust designed for production
Community plugin to control Blender 3D with any LLM of your choice. Not affiliated with the official Blender Foundation.
Official AI skills for GSAP. These skills teach AI coding agents how to correctly use GSAP (GreenSock Animation Platform), including best practices, common animation patterns, and plugin usage.
The largest open-source library of animated, interactive, and customizable React & Next.js components for building standout web products and experiences. Built for humans and AI agents.
The design vocabulary for your coding agent. Steer with polish and bolder, review with critique and audit, catch AI slop before it ships.
An AI skill that provides design intelligence for building professional UI/UX across multiple platforms.
Serve your models fast on your own infra in 3 steps.
A Tokio-inspired concurrency library and work-stealing scheduler for Lean 4, with machine-checked proofs.
A meta-harness for coding agents to follow proper Software Development Lifecycle practices. Can also write code from specs. Based on literate programming ideas from Donald Knuth
Wire v9: from-scratch ultra-low-latency HFT stack in Rust and C. 24 crates: TCP/IP, AF_XDP, VFIO PCIe DMA, LMAX Disruptor, AVX2/AVX-512 SIMD, flat-array matching engine (11 cyc), HugePage slab (1.5…
Programming tools can now be transmitted in the form of prompts instead of finished software. Here's a library of such tool seeds.
TxHDL: a hardware description language that is a Rust library, proven on hardware. Read-only mirror; the work is done on the hdlfactory forge, https://git.hdlfactory.com/HDL/txhdl
A GPU-oriented coverage-guided fuzzer for userland CUDA applications
A unified library of SOTA model optimization techniques like quantization, distillation, pruning, neural architecture search, speculative decoding, etc. It compresses deep learning models for downs…
LLM Chess - evaluating Large Language Models' reasoning and instruction-following abilities by simulating chess games
Run any process, on your machine or in an AI agent's environment, as if it were a pod in your Kubernetes cluster: real env vars, DNS, network, traffic.
A reading path for CPU performance engineering, from one instruction to production inference. Primary sources only, with a runnable benchmark for every section.
Open Source Introductory Systems Programming Textbook for the University of Illinois
Review code 100x faster. Lens draws every PR as animated architecture and data-flow walkthroughs, inside the pull request itself. Use it as a GitHub App, GitHub Action, CLI, or a Skill for your cod…
A TypeSafe/Jev agent that plays Super Mario Bros. from structured emulator state.