Maja Kądziołka

icon indicating a website link https://compilercrim.es icon indicating an email [email protected]

icon location Probably near my computer icon location Systems software toucher. Functional programming enjoyer. Alleged math nerd. Fascinated by compilers and proof assistants.

Results 5 repositories owned by Maja Kądziołka

2klinux

30
Stars
4
Forks
Watchers

Experiments in bootstrapping from bare-metal

verified publisher icon meithecatte

cursedfs

378
Stars
12
Forks
Watchers

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

verified publisher icon meithecatte

enumflags2

99
Stars
18
Forks
Watchers

Rust library for typesystem-assisted bitflags.

verified publisher icon meithecatte

miniforth

116
Stars
9
Forks
Watchers

A bootsector FORTH

verified publisher icon meithecatte

fake-static

88
Stars
3
Forks
Watchers

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

verified publisher icon meithecatte