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/miniforth
A bootsector FORTH
meithecatte/enumflags2
Rust library for typesystem-assisted bitflags.
meithecatte/bashfuck
Write any bash with only the punctuation characters
meithecatte/busycoq
Busy Beaver deciders backed by Coq proof
meithecatte/bootmon
wozmon-style monitor+debugger for the x86 MBR
meithecatte/compilercrim.es
meithecatte/bdsm
Bash Data Structures & Miscellanea
meithecatte/cursedcc
a C compiler written in bash
meithecatte/advisory-db
Security advisory database for Rust crates published through crates.io
meithecatte/alsa-ucm-conf
ALSA Use Case Manager configuration
meithecatte/andromeda
JS runtime lolz
meithecatte/aoc2024
Advent of Code 2024
meithecatte/bbslides
meithecatte/Boneless-CPU
Resource-efficient 16-bit CPU architecture for FPGA control plane
meithecatte/enlorge
toy DEFLATE decompressor
meithecatte/facet
Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need
meithecatte/ggez
Rust library to create a Good Game Easily
meithecatte/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
meithecatte/lets-play-agda
An interactive Agda tutorial
meithecatte/macroquad
Cross-platform game engine in Rust.
meithecatte/pets
A configuration management system for Pets, not Cattle
meithecatte/prjunnamed
End-to-end synthesis and P&R toolchain
meithecatte/reference
The Rust Reference
meithecatte/reference-manual
The Lean reference manual
meithecatte/rust
A safe, concurrent, practical language.
meithecatte/rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
meithecatte/sinol-make
CLI tool for creating and verifying problem packages for sio2
meithecatte/Waybar
Highly customizable Wayland bar for Sway and Wlroots based compositors. :v: :tada:
meithecatte/writing-a-c-compiler-tests
Test cases for Writing a C Compiler
meithecatte/zola
A fast static site generator in a single binary with everything built-in. https://www.getzola.org