A markup-based typesetting system that is powerful and easy to learn.

A syntax-highlighting pager for git, diff, grep, and blame output

FHEVM, a full-stack framework for integrating Fully Homomorphic Encryption (FHE) with blockchain applications

a debugger for async rust!

Hypothesis-like property testing for Rust

TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.

A suite of rust libraries for secure multi-party computation

Secure distributed dataflow framework for encrypted machine learning and data processing

An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.

Key Management System for the Zama Protocol.

Threshold MPC protocols for FHE

fastOT implementation in rust

Rust pseudo-random number generator based on AES