Λ ⚬ λ: Functional Lattice Cryptography

A compiler for homomorphic encryption

Software related to Linear Code Equivalence solvers based on the Schur multiplication of a linear code by a vector inverse

Prime Degree Signature Mechanism

[work in progress] Software for helping cryptographers manage game-hopping proofs in LaTeX

Mirror. Canonical repository available at https://git.cedarcrypt.org.

Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203

Implementations of the proof of isogeny knowledge from "Supersingular Curves You Can Trust"

DeepSPRINT is a proof of knowledge for and signature scheme based on the radical 2-isogeny formulas.

Unofficial LaTeX templates for documents and presentations for the Escola Politécnica da Universidade de São Paulo.

Lattice algorithms using floating-point arithmetic

Side-Channel Analysis Library

A Rust library for finite-field arithmetic, elliptic-curve operations, isogeny scaffolding, and higher-level elliptic-curve protocols.

A web-based collaborative LaTeX editor

Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.

A library for lattice-based multiparty homomorphic encryption in Go

Packaged versions of Zotero and Juris-M for Debian-based systems

RISC-V Assembly Learning Environment

A curated list of multi party computation resources and links.

Lattice-Based Zero-Knowledge Proofs and Applications: Shorter, Simpler, and More General

OpenSSL bindings for Rust

Secure Computation Utilities

Kyber-based multi-KEM. Heavily Work in Progress (don't use!).

Repository for "HyDia: FHE-based Facial Matching with Hybrid Approximations and Diagonalization", which is a privacy perserving imaging matching system for a publication at PETS 2025.

A GDB frontend for Lïnux.