Updated 1 month ago

An x86_64 UEFI operating system.

Updated 2 months ago

A PC Screen Font (PSF) version 2 parser for Rust.

Updated 2 months ago

A version-controlled copy of my Shadertoy shaders.

Updated 2 months ago

Embed an arbitrary binary blob into an ELF or COFF object file.

Updated 2 months ago

My personal page.

Updated 2 months ago

A framework for co and dual logics, type theories, and programming languages.

Updated 2 months ago

A programming language.

Updated 2 months ago

Haskell 0 0

A purely-functional programming language with Hindley-Milner type inference and `callcc`.

Updated 2 months ago

A template for making libgdx-based games.

Updated 2 months ago

A single-pass compiler for a simple imperative language.

Updated 4 weeks ago