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

Research prototype tool for modular formal verification of C, Rust and Java programs

A Rust verification tool

RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.

A command-line tool to sign files and verify signatures in pure Rust.

Static analysis tool for Rust library authors to set and verify which types from other libraries are allowed to be exposed in their public API.

Rust library and tools for working with Destiny 1 pkg files (unpacker, verification)

CLI tool for hash verification and file formatting (YARN, XML, JSON, Markdown). Built with Rust for speed and efficiency.

The official Armbian flashing tool. Browse 307+ boards, download images, and flash SD cards with verified writes. Built with Tauri + Rust for native performance. Supports macOS (Touch ID), Windows, and Linux. 15 languages.

A survey on Rust works: empirical studies, verification tools, analysis tools, etc

Rust-based zkSNARK Proving&Verifying tool for noir-lang

[WIP] file verification and repair tool, written in go and rust

File checksum verification tool written in Rust.

A Rust CLI tool for documentation ↔ code mapping verification

LPU WiFi Manager: A Rust-based CLI tool for managing Lovely Professional University's WiFi connections. Features include account login, stored account listing, and connection verification.

A Rust implementation of an interactive zero-knowledge proof using Schnorr’s identification scheme, secured with Tokio + Rustls TLS, featuring multi-round repetition, CLI tools for prover & verifier, and secure secret storage.

Experiments in using Smack verification tool with C and Rust

A simple tool to create and verify Unreal Engine 4.26/4.27 .sig files in Rust.

tRust is a research tool for modular formal verification of Rust programs

simple rust tool to check proxies (and verify data isn't being tampered with)

A simple secure user authentication API built with Rust using the Axum web framework and PostgreSQL. This project demonstrates safe password hashing, user creation, and login verification using modern Rust tools and practices.

A backup tool written in Rust that creates and verifies compressed archives using 7-Zip.

This Dockerfile sets up a complete fuzzing toolkit with various tools and dependencies, including Go, Python, Ruby, and Rust-based tools. It also includes installation of SecLists wordlists and verifies the installations

A modern, secure, and user-friendly web application for password hashing and comparison, built with Rust and Actix-web. This tool provides a robust solution for generating and verifying password hashes using various LDAP-compatible algorithms.

SafeWipe is a cross-platform, NIST SP 800-88 compliant data sanitization tool built with Rust (core engine) and Compose Multiplatform (UI). It securely wipes HDDs, SSDs, and mobile devices, verifies results, and generates compliance-ready reports.

VEX Explorer is a client-side forensic tool for verifying the mathematical integrity of VEX Evidence Packets. Powered by a high-performance Rust core (WASM), it enables zero-trust auditing of autonomous agents and governed execution loops.

A simple Rust command-line tool implementing the commit-reveal scheme, useful for understanding the foundations of zero-knowledge proofs. Users can commit to a secret and later reveal it to verify the commitment without exposing the secret.

quickhash is a hashing tool written in rust. It is intended to calculate and verify checksums of files from the command line.

SafePKT Flavor of RVT (a collection of tools/libraries to support both static and dynamic verification of Rust programs.)

No description available