Stars
C/C++ library for retrieving information on files and directories
A beautiful, non-destructive, and GPU-accelerated RAW image editor built with performance in mind.
A bitflip-resistant Result/Option/bool type for Rust
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 Rust code is correct.
A modular, reusable university course for Rust
Bottom-up memory-safety for assembly using symbolic execution
A PAM module that insults users when authentications fail
Implementation of the Precision Time Protocol (PTP) in Rust
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
model-checking / verify-rust-std
Forked from rust-lang/rustVerifying 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.
Configurable implementation of the Twofish block cipher for AVR 8-bit microcontrollers (ATtiny, ATmega)
A verified, optimized implementation of X25519 for AVR microcontrollers