Pinned Loading

1. walters-labs/ring-lwe walters-labs/ring-lwe Public

   Implementation of ring-LWE encryption method in Rust.

   Rust 10 6

2. walters-labs/module-lwe walters-labs/module-lwe Public

   Implementation of module-LWE encryption method in Rust.

   Rust 4 3

3. walters-labs/mlkem-fips203 walters-labs/mlkem-fips203 Public

   Rust implementation of module-lattice key encapsulation mechanism (ML-KEM) as specified in FIPS 203.

   Rust 2 1

4. cryptography-basics cryptography-basics Public

   Cryptography in Python - ECC, NTRU, ring-LWE, module-LWE

   Jupyter Notebook 5 2

5. formal-math-lean formal-math-lean Public

   Constructions in Lean, a formal computer mathematics system

   Lean

6. steinberg-repn-gl-3-2 steinberg-repn-gl-3-2 Public

   An explicit construction of the Steinberg representation in SageMath, Python.

   Python