meithecatte
Systems software toucher. Functional programming enjoyer. Alleged math nerd. Fascinated by compilers and proof assistants.
@InvisibleThingsLab Probably near my computer
Pinned Repositories
2klinux
Experiments in bootstrapping from bare-metal
bashfuck
Write any bash with only the punctuation characters
busycoq
Busy Beaver deciders backed by Coq proof
cursedfs
Make a disk image formatted with both ext2 and FAT at once
enumflags2
Rust library for typesystem-assisted bitflags.
fake-static
rustc hates him! Sidestep borrow checking with this weird trick.
gbtetris
A compilable Gameboy Tetris disassembly, hopefully fully labeled and documented one day.
isabelle-math-contests
Solutions to math olympiad problems in Isabelle/HOL
miniforth
A bootsector FORTH
rustc-sat
Makes rustc's exhaustiveness checker solve SAT problems
meithecatte's Repositories
meithecatte/cursedfs
Make a disk image formatted with both ext2 and FAT at once
meithecatte/miniforth
A bootsector FORTH
meithecatte/enumflags2
Rust library for typesystem-assisted bitflags.
meithecatte/fake-static
rustc hates him! Sidestep borrow checking with this weird trick.
meithecatte/bashfuck
Write any bash with only the punctuation characters
meithecatte/busycoq
Busy Beaver deciders backed by Coq proof
meithecatte/bassh
I started writing an SSH client in Bash and got worryingly far before getting bored
meithecatte/compilercrim.es
meithecatte/aoc2023
Solutions for the 2023 Advent of Code
meithecatte/mips-quine
MIPS Quine that disassembles its own code and parses its own ELF symbol table
meithecatte/bootOS
bootOS is a monolithic operating system in 512 bytes of x86 machine code.
meithecatte/cpplambdas
meithecatte/advisory-db
Security advisory database for Rust crates published through crates.io
meithecatte/bbchallenge
Frontend of https://bbchallenge.org
meithecatte/bbchallenge-proofs
Mathematical proofs of the bbchallenge project.
meithecatte/binaryninja-api
Public API, examples, documentation and issues for Binary Ninja
meithecatte/egg
egg is a flexible, high-performance e-graph library
meithecatte/iced
A cross-platform GUI library for Rust, inspired by Elm
meithecatte/pets
A configuration management system for Pets, not Cattle
meithecatte/pokeplatinum
Decompilation of Pokémon Platinum
meithecatte/qemu
meithecatte/qubes-core-agent-linux
Qubes component: core-agent-linux
meithecatte/qubes-core-qrexec
meithecatte/qubes-gui-agent-linux
Qubes component: gui-agent-linux
meithecatte/qubes-gui-rust
Rust implementation of the Qubes OS GUI protocol
meithecatte/qubes-manager
Qubes component: manager
meithecatte/qubes-mgmt-salt-dom0-virtual-machines
meithecatte/rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
meithecatte/serenityos
The Serenity Operating System 🐞
meithecatte/wasmtime
A fast and secure runtime for WebAssembly