Welcome to a calmer internet

An alternative ggez implementation on top of miniquad.

SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native

Solve puzzles. Learn CUDA.

Makepad is a creative software development platform for Rust that compiles to wasm/webGL, osx/metal, windows/dx11 linux/opengl

A very fast linker for Linux and WebAssembly

darktable is an open source photography workflow application and raw developer

Chess but no grid

Empowering everyone to build reliable and efficient software.

A smarter cd command. Supports all major shells.

The Scala 3 compiler, also known as Dotty.