Only relevant repositories are being shown, show unfiltered results.

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