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

A syntax-highlighting pager for git, diff, grep, rg --json, 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 binary encoder/decoder for Rust

Secure distributed dataflow framework for encrypted machine learning and data processing

Key Management System for the Zama Protocol.

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

Threshold MPC protocols for FHE

fastOT implementation in rust

Rust pseudo-random number generator based on AES