A web-based MEI neume editor.

A verification toolchain for Rust programs

Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.

The Gregorio Project

A JavaScript library for rendering music notation and guitar tablature.

Building seL4 and generating Rust bindings based on feL4 configuration

C/C++ to Rust transpiler

Migrate C code to Rust

Linux shell for iOS

List of Rust books

Typeshare is the ultimate tool for synchronizing your type definitions between Rust and other languages for seamless FFI.

secure interactive password manager with xchacha20poly1305, argon2id, and Go

The seL4 microkernel

An experimental Rust crate for sigstore

Transportation planning and traffic simulation software for creating cities friendlier to walking, biking, and public transit

KLEE Symbolic Execution Engine

A safe implementation of the secure remote password authentication and key-exchange protocol (SRP and SRP6a)

Rust bindings and utilities for LLVM’s libFuzzer

Rust bindings for the Python interpreter

An FHE compiler for C++

Kani Rust Verifier

A tool for SigOver, signal overshadowing attack on the LTE broadcast signals in physical domain.

Microsoft SEAL is an easy-to-use and powerful homomorphic encryption library.

CVE-2022-0995 exploit

🤖 The Modern Port Scanner 🤖

A pure-Rust implementation of various threshold secret sharing schemes

API for the hypervisor-microkernel boundary

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

Application level tracing for Rust.

Audio MODEM Communication Library in Python