Utility to execute a command as another user

A memory safe implementation of sudo and su.

Insult users that mistype their password (quick prototype)

Controleer de zetelverdeling zoals die wordt vastgesteld na verkiezingen in Nederland

Abacus, software voor verkiezingsuitslagen en zetelverdeling

An implementation of bzip2 in pure rust

A safer zlib

libbz2 (bzip2 compression) bindings for Rust

Verifying the Rust standard library

Tool to detect secrets in source code management systems.

Algol 68 solutions for most of the problems in Advent of Code 2021

A tool to remove unused code from a Rust project.

Discordian Date calendar implemented in Rust

Atmel AVR simulator written in x86 assembly

Disk formatter for MS-DOS

Twofish-256 block cipher

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

A verified, optimized implementation of X25519 for AVR microcontrollers

A benchmark for C program verification

Web framework in Bash

Generating lyrics using recurrent neural networks

A priliminary backend for Idris that compiles to Clean.

Vim plugin for Blackboard feedback files (see squell/bb-scripts).

"Edit" mp3 files with Vim, or rather, their ID3 tags

simavr is a lean, mean and hackable AVR simulator for linux & OSX

Micro controller simulator, written in D. Focusses on benchmarking algorithms

The Python error steamroller.

ID3 mass tagger