Marc R. Schoolderman

id3. ID3 mass tagger

fastavr. Atmel AVR simulator written in x86 assembly

bb-scripts. bash scripts for the ELO of RU

tinyTwofish. Configurable implementation of the Twofish block cipher for AVR 8-bit microcontrollers (ATtiny, ATmega)

pam-insult. Insult users that mistype their password (quick prototype)

electionchecker. Controleer de zetelverdeling zoals die wordt vastgesteld na verkiezingen in Nederland

algol68-spl. SPL dialect compiler written in ALGOL68

aoc-68. Advent of Code 2021 solutions in ALGOL 68

Lexicon. Fuzzy lexical matching code (experimental)

verified-x25519-for-avr. A verified, optimized implementation of X25519 for AVR microcontrollers

karel. Karel the Robot framework, to use Rust as a "first language"

ddate. Discordian Date calendar implemented in Rust

hard-result. A bitflip-resistant Result/Option/bool type for Rust

proofs. Formal, machine checked proofs

cpptool. C++ post-processors for geeks

rustbucket. Iron chemically bonded with oxygen.

ecalogic. Tool for performing Energy Consumption Analysis

because. C

sudo-rs. fork of sudo-rs