Maja Kądziołka

cursedfs. Make a disk image formatted with both ext2 and FAT at once

miniforth. A bootsector FORTH

enumflags2. Rust library for typesystem-assisted bitflags.

fake-static. rustc hates him! Sidestep borrow checking with this weird trick.

bashfuck. Write any bash with only the punctuation characters

busycoq. Busy Beaver deciders backed by Coq proof

2klinux. Experiments in bootstrapping from bare-metal

rustc-sat. Makes rustc's exhaustiveness checker solve SAT problems

gbtetris. A compilable Gameboy Tetris disassembly, hopefully fully labeled and documented one day.

mbc3-fiddle. Game Boy ROM for RTC tests and exploration

isabelle-math-contests. Solutions to math olympiad problems in Isabelle/HOL

bassh. I started writing an SSH client in Bash and got worryingly far before getting bored

ember. an Apple II-style monitor that fits in your MBR.

bootmon. wozmon-style monitor+debugger for the x86 MBR

amiga-includes. The assembler include files for the Commodore Amiga.

cursedcc. a C compiler written in bash

compilercrim.es. HTML

aoc2020. My solutions to 2020's advent of code

bdsm. Bash Data Structures & Miscellanea

rpi-game. An arcade game for the Raspberry Pi

mips-quine. MIPS Quine that disassembles its own code and parses its own ELF symbol table

aoc2023. Solutions for the 2023 Advent of Code

isabelle-markup. Export Isabelle theories to HTML with full syntax highlighting

ktanesim. A Discord bot that simulates KTaNE bombs.

gbforth. 👾 A Forth-based Game Boy development kit

cpplambdas. C++

marioland2. Disassembly of Super Mario Land 2

guix. My personal fork of the Guix repository.

lzcomp. LZ compressor for Pokémon Crystal