An interpreter for Rust's mid-level intermediate representation

Create mind maps to learn new things using AI.

Multi functional app to find duplicates, empty folders, similar images etc.

a portable and fast pairing-based cryptography library

🦀 A peer-reviewed collection of articles/talks/repos which teach concise, idiomatic Rust.

Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.

Internet Computer blockchain source: the client/replica software run by nodes

Cross-platform GUI written in Rust using ADB to debloat non-rooted android devices. Improve your privacy, the security and battery life of your device.

A new type of shell

The GitButler version control client, backed by Git, powered by Tauri/Rust/Svelte

Python implementations of FIPS 203,204,205 + Local python access to NIST's ACVP-Server "Golden Reference" crypto code

Rayon: A data parallelism library for Rust

Modern embedded framework, using Rust and async.

Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

get things from one computer to another, safely

Some more derive(Trait) options

Rust Poseidon implementation (contact: @porcuquine)

Instant, easy, and predictable development environments

Secure & Modern All-in-One Mail Server (IMAP, JMAP, POP3, SMTP)

Cryptography-oriented big integer library with constant-time, stack-allocated (no_std-friendly) implementations of modern formulas

Self-hosted AI coding assistant

Package management made easy

Smart pointers for the (GNU) C programming language

A one-stop shop for process isolation

A cross-platform C and C++ unit testing framework for the 21st century

The libacvp library is a client-side implementation of the draft ACVP protocol (github.com/usnistgov/ACVP).

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

Cargo subcommand for configuring Cargo projects for best performance.