Pinned Loading

1. shard shard Public

   A tiny total language that splits requirements, algorithms, and machine-level spelling into separate machine-checked artifacts tied by proven refinement (spec ⊑ code) — building real x86-64 ELF bin…

   Rust 1

2. damascene damascene Public

   GPU UI toolkit for Rust apps that embeds into existing wgpu/Vulkan renderers, with agent-friendly widget composition, shader escapes, native/web backends, and headless artifact dumps.

   Rust 3 1

3. prism prism Public

   Vulkan-native, HDR-native Wayland compositor with first-class color management, fp16 BT.2020 compositing, multi-GPU scanout, YUV/HDR video, and EDID-keyed display calibration.

   Rust 3

4. polychora polychora Public

   Genuine 4D voxel game engine built on Vulkan — full spatial X/Y/Z/W coordinates, native 4D rotation across all six planes, procedural world generation, and server-authoritative multiplayer.

   Rust 1 1

5. tristim tristim Public

   Linux/Wayland tristimulus colorimetry toolkit with a reimplemented Datacolor Spyder driver and compositor-agnostic SDR/HDR display validation workflows.

   Rust 5

6. whisper-tensor whisper-tensor Public

   Correctness-first ML runtime in Rust — ONNX ingestion, Vulkan + CPU backends, 2000+ op conformance tests, and a visual graph explorer for full inference introspection.

   Rust