A memory safe implementation of sudo and su.

A full-featured implementation of the Network Time Protocol, including NTS support.

An RFC5297-compliant C implementation of AES-SIV

Creusot helps you prove your code is correct in an automated fashion.

A modular, reusable university course for Rust

Bottom-up memory-safety for assembly language using symbolic execution

A PAM module that insults users when authentications fail

A Rust interface for PPS devices

Implementation of the Precision Time Protocol (PTP) in Rust

Utility to execute a command as another user

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 zlib implementation in rust available as a C dynamic library and as a rust crate

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