A framework for co and dual logics, type theories, and programming languages.
Updated 13 hours ago
A single-pass compiler for a simple imperative language.
Updated 4 months ago
A programming language.
Updated 8 months ago
A template for making libgdx-based games.
Updated 8 months ago
A purely-functional programming language with Hindley-Milner type inference and `callcc`.
Updated 8 months ago
My personal page.
Updated 8 months ago
Embed an arbitrary binary blob into an ELF or COFF object file.
Updated 8 months ago
A version-controlled copy of my Shadertoy shaders.
Updated 8 months ago
A PC Screen Font (PSF) version 2 parser for Rust.
Updated 8 months ago
An x86_64 UEFI operating system.
Updated 8 months ago