Λ ⚬ λ: Functional Lattice Cryptography
☆232Mar 22, 2021Updated 4 years ago
Alternatives and similar repositories for Lol
Users that are interested in Lol are comparing it to the libraries listed below
Sorting:
- A Language and Compiler for Homomorphic Encryption Made easY☆68Jun 1, 2020Updated 5 years ago
- NTT-based Fast Lattice library☆179Oct 14, 2022Updated 3 years ago
- Classical simulator for Kuperberg's quantum collimation sieve, generalized to arbitrary finite cyclic groups and focused on CSIDH-512.☆14Jun 18, 2019Updated 6 years ago
- Self-contained educational implementation of the BLISS-B Bimodal Lattice Signature Scheme☆17Feb 26, 2016Updated 10 years ago
- Lattice algorithms using floating-point arithmetic☆393Oct 15, 2025Updated 4 months ago
- Oblivious transfer library for rust☆11Dec 19, 2019Updated 6 years ago
- Haskell dynamic RTS loader☆13Jun 24, 2016Updated 9 years ago
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 2017Updated 8 years ago
- ☆10Feb 3, 2016Updated 10 years ago
- Easy bidirectional serialization in Haskell☆49Dec 12, 2018Updated 7 years ago
- clone all the github repositories of a particular user.☆19Jun 16, 2017Updated 8 years ago
- Haskell implementation of an LRU cache☆25Dec 29, 2025Updated 2 months ago
- CUDA Homomorphic Encryption Library☆208Jun 8, 2017Updated 8 years ago
- Haskell98 indexed functors, monads, comonads☆25Mar 8, 2022Updated 3 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Nov 18, 2019Updated 6 years ago
- Post-quantum key exchange from the learning with errors problem — from the paper "Frodo: Take off the ring! Practical, Quantum-Secure Key…☆49Aug 3, 2017Updated 8 years ago
- A generic Haskell library for expressing rewrite rules with safe treatment of variables and binders☆12Jan 31, 2026Updated last month
- Repository and website for the Estimate all the {LWE, NTRU} schemes! code and paper.☆25Aug 29, 2018Updated 7 years ago
- Austin's supercompiler work☆21Nov 17, 2019Updated 6 years ago
- Haskell bindings to ArrayFire☆60Dec 14, 2024Updated last year
- CryptoBib Main Repository for Developers☆22Aug 21, 2024Updated last year
- a simple, tolerant & efficient HTML/XML parser (with HTML in mind though)☆28Oct 28, 2020Updated 5 years ago
- Cryptol: The Language of Cryptography☆1,199Feb 25, 2026Updated last week
- SIDH C reference implementation☆13Jan 25, 2017Updated 9 years ago
- ☆14Feb 11, 2022Updated 4 years ago
- Benchmarks to compare Haskell streaming library performance☆107Sep 9, 2025Updated 5 months ago
- C++ library for IOP-based zkSNARKs☆176Jan 12, 2024Updated 2 years ago
- Order theory☆25Sep 7, 2023Updated 2 years ago
- Rust implementation of the BMR16 arithmetic garbling scheme.☆34Dec 19, 2019Updated 6 years ago
- CryptoBib BibTex files☆62Feb 18, 2026Updated last week
- Effectful Raw handler for Servant servers.☆16Mar 16, 2021Updated 4 years ago
- Management and Distribution of Secret Credentials☆23Apr 28, 2017Updated 8 years ago
- ELF data structures for Haskell☆24May 9, 2023Updated 2 years ago
- ☆26Aug 10, 2018Updated 7 years ago
- The SEAL-CPU backend is a Reference backend engine for HEBench which is a shared library that implements the required functions specified…☆11Mar 3, 2023Updated 3 years ago
- Haskell time library focusing on performance☆59Nov 24, 2025Updated 3 months ago
- Unital Charts☆27Feb 17, 2020Updated 6 years ago
- Small minimal examples of modern cryptographic techniques in Haskell☆77Nov 27, 2019Updated 6 years ago
- TFHE: Fast Fully Homomorphic Encryption Library over the Torus☆1,318Sep 17, 2025Updated 5 months ago