Maja Kądziołka (@meithecatte)
github

meithecatte

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    931
  • Global Rank 32,843 (Top 2 %)
  • Followers 209
  • Following 13
  • Registered almost 8 years ago
  • Most used languages
    Assembly
         23.8 %
    Rust
         19.0 %
    Shell
         14.3 %
    Forth     9.5 %
    Coq     4.8 %
    C
         4.8 %
    C++
         4.8 %
    Zig
         4.8 %
    HTML
         4.8 %
    Python
         4.8 %
    Scheme
         4.8 %

Top repositories

1

cursedfs

Make a disk image formatted with both ext2 and FAT at once
Shell
377
star
2

miniforth

A bootsector FORTH
Forth
120
star
3

enumflags2

Rust library for typesystem-assisted bitflags.
Rust
109
star
4

fake-static

rustc hates him! Sidestep borrow checking with this weird trick.
Rust
97
star
5

bashfuck

Write any bash with only the punctuation characters
Shell
76
star
6

busycoq

Busy Beaver deciders backed by Coq proof
Coq
33
star
7

2klinux

Experiments in bootstrapping from bare-metal
Forth
31
star
8

gbtetris

A compilable Gameboy Tetris disassembly, hopefully fully labeled and documented one day.
Assembly
14
star
9

rustc-sat

Makes rustc's exhaustiveness checker solve SAT problems
Rust
14
star
10

ember

an Apple II-style monitor that fits in your MBR.
Assembly
9
star
11

isabelle-math-contests

Solutions to math olympiad problems in Isabelle/HOL
9
star
12

bassh

I started writing an SSH client in Bash and got worryingly far before getting bored
Shell
8
star
13

mbc3-fiddle

Game Boy ROM for RTC tests and exploration
Assembly
7
star
14

compilercrim.es

HTML
4
star
15

amiga-includes

The assembler include files for the Commodore Amiga.
4
star
16

aoc2023

Solutions for the 2023 Advent of Code
Zig
3
star
17

aoc2020

My solutions to 2020's advent of code
Assembly
3
star
18

isabelle-markup

Export Isabelle theories to HTML with full syntax highlighting
Rust
2
star
19

rpi-game

An arcade game for the Raspberry Pi
C
2
star
20

mips-quine

MIPS Quine that disassembles its own code and parses its own ELF symbol table
Assembly
2
star
21

ktanesim

A Discord bot that simulates KTaNE bombs.
Python
1
star
22

cpplambdas

C++
1
star
23

guix

My personal fork of the Guix repository.
Scheme
1
star