Implementation of the Google Zero-Knowledge library for Identity Protocols.

kb single-header C/C++ libraries

OxCaml Parallelism

Shadertoy for WebGPU compute shaders.

A very fast and robust 64-bit PRNG with a minimum 2^64 period.

A Minecraft-esque game for the TI 84 CE calculator.

NVIDIA Neural Shading SDK

Simple Directmedia Layer

Generate images from LaTeX equations that you can drag and drop, copy and paste or save to disk.

A WebAssembly runtime implemented in TypeScript types

A programming language with static memory management based on λ-calculus

An experimental stackless Lua VM implemented in pure Rust

A Modern C11 compiler (STILL EARLY)

Interoperable effects based concurrency

The ideomotor effect of software

Embeddable physically based renderer

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

Javascript implementation of a 2D FFT for images. Makes it easy to apply low pass/high pass/band filters.

Minimal C++20 STL replacement library. Simpler, smaller, and in many cases faster.

High performance UI layout library in C.

Fine-grained parallelism with sub-nanosecond overhead in Zig

C-Reduce, a C and C++ program reducer

a programming library with geometric algorithms

Demo for dependent types + runtime code generation

Repository for Interleaving Retrieval with Chain-of-Thought Reasoning for Knowledge-Intensive Multi-Step Questions, ACL23

PositionBasedDynamics is a library for the physically-based simulation of rigid bodies, deformable solids and fluids.

A "implementation" of Girard's paradox in OCaml

An alternative presentation of arrows

Game for LD#54: Limited Space

Vulkan 1.3 real-time path tracer using rpp and rvk