Discover @meithecatte Open Source projects

Maja Kądziołka (@meithecatte)

meithecatte

Stars
931
Global Rank 32,854 (Top 2 %)
Followers 209
Following 13
Registered about 8 years ago
Most used languages

Assembly
23.8 %

Rust
19.0 %

Shell
14.3 %

Forth 9.5 %

Coq 4.8 %

C
4.8 %

HTML
4.8 %

Python
4.8 %

C++
4.8 %

Zig
4.8 %

Scheme
4.8 %

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

gbtetris

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

rustc-sat

Makes rustc's exhaustiveness checker solve SAT problems

ember

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

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

mbc3-fiddle

Game Boy ROM for RTC tests and exploration

compilercrim.es

amiga-includes

The assembler include files for the Commodore Amiga.

aoc2023

Solutions for the 2023 Advent of Code

aoc2020

My solutions to 2020's advent of code

isabelle-markup

Export Isabelle theories to HTML with full syntax highlighting

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

ktanesim

A Discord bot that simulates KTaNE bombs.

cpplambdas

guix

My personal fork of the Guix repository.