Run VSCode (codeserver) on Google Colab or Kaggle Notebooks

A modern client-side schematic mod for Minecraft

A tool for recompiling Xbox 360 games to native executables.

DeepGEMM: clean and efficient FP8 GEMM kernels with fine-grained scaling

Track changes to doge.gov

Crustacean: an unofficial iOS client for lobste.rs

Sky-T1: Train your own O1 preview model within $450

A compatibility mod to record Simple Voice Chat with ReplayMod

x86 emulation on the NES

Checker for Lifetimes and other Refinement types

A high-level distributed programming framework for Rust

iOS and macOS Decompiler

⚙️ A tool to collect executable code datasets with GitHub Actions ⚙️

A high-throughput and memory-efficient inference and serving engine for LLMs

Train transformer language models with reinforcement learning.

This is a replicate of DeepSeek-R1-Zero and DeepSeek-R1 training on small models with limited data

Fully open reproduction of DeepSeek-R1

Scala based HDL

Like VexRiscv, but, Harder, Better, Faster, Stronger

A FPGA friendly 32 bit RISC-V CPU implementation

Add a JS runtime in your Zig project

Lightpanda: the headless browser designed for AI and automation

Virtual machines for iOS and macOS

CSS library based on Counter Strike 1.6 UI.

A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.

Assorted immutable collection datatypes for Rust

Solving the first 100 Project Euler problems using 100 different programming languages!

A utf8 text rope for manipulating and editing large texts.

Grist is the evolution of spreadsheets.