A simple software rasterizer running on a WebGPU compute shader. Built for educational purposes.

Demo for high-performance type theory elaboration

Minimal implementations for dependent type checking and elaboration

A SIXEL encoder/decoder implementation derived from kmiya's sixel (https://github.com/saitoha/sixel).

Cairo backend for diagrams

Diagrams standard library

Core types and utilities

schism libraries

Ircfs is an irc client with a file system interface.

pixelparty glsl shader collection

tool to test glsl fragment shaders

Library for functional reactive programming in Haskell.

My dotfiles