she vulkan on my gpu til i oh shit i fucked the depth buffer up again

telnet os

nondeterministic language (plcord octopler entry)

learning to make a proof assistant :3

silly lil haskell-like

ilo pali is a RISC V operating system featuring a microkernel.

i was bored so i played around with groups in coq

A programming language created almost exclusively while not paying attention in class

Config files for my GitHub profile.

basic implementation of hindley milner's algorithm j

RISC V emulator written in C

RISC V Unix like OS.

Nu text editor

Minecraft clone implemented in Rust.

Terminal client for matrix

Simple Unix-like for x86_64.

a windowo manager uwu

Super simple ML implementation.

Chat client for XMPP

bean chat client/server uwu

URCL C Compiler

Forth, but in RISC V and bootstrapped

An assembler for the Octoproc CPU.