A fast, pure-Rust library for computational number theory
☆54Jul 26, 2026Updated this week
Alternatives and similar repositories for feanor-math
Users that are interested in feanor-math are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A modular library for designing and optimising homomorphic encryption schemes☆29Updated this week
- Graphica is an open-source graph crate for Rust that allows for the generation, manipulation and canonization of multi-edge graphs with m…☆42Jun 20, 2026Updated last month
- ☆53Feb 20, 2025Updated last year
- ☆11Sep 10, 2024Updated last year
- ☆30Sep 30, 2025Updated 9 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- POC implementation of "Accelerating HE Operations Using Key Decomposition"[KLSS23]☆19Jun 11, 2025Updated last year
- ☆68May 13, 2025Updated last year
- Rust Code for CELPC☆20Mar 28, 2025Updated last year
- Scripts to generate data for security parameters constraints section☆19Dec 11, 2024Updated last year
- A formally verified symbolic cryptography library for Lean☆17Feb 18, 2026Updated 5 months ago
- ☆10Apr 26, 2026Updated 3 months ago
- ☆52Oct 10, 2023Updated 2 years ago
- Numerica is an open-source mathematics library for Rust, that provides high-performance number types, such as error-tracking floats and f…☆51Jul 22, 2026Updated last week
- Symbolica is a high-performance computer algebra library for Python and Rust. Manipulate large expressions, match patterns, and generate …☆953Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆25Jul 18, 2024Updated 2 years ago
- A safe pure-rust implementation of the NTRU post-quantum scheme.☆22May 4, 2022Updated 4 years ago
- XRD: Scalable messaging system with cryptographic privacy.☆14Nov 9, 2020Updated 5 years ago
- Futhark implementation of neptune-compatible Poseidon.☆28Apr 4, 2021Updated 5 years ago
- A library for lattice-based multiparty homomorphic encryption in Go☆14Dec 20, 2024Updated last year
- Exact 64-bit convolution algorithm☆15Jun 7, 2016Updated 10 years ago
- A Dark theme for VS Code☆14Apr 1, 2021Updated 5 years ago
- A rust and SageMath implementation of (2,2)-isogenies in the theta model☆27Jan 15, 2025Updated last year
- Code accompanying the paper "ApresSQI: Extra Fast Verification for SQIsign Using Extension-Field Signing".☆10Jun 18, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆26Feb 25, 2024Updated 2 years ago
- A support library for working with zero knowledge cryptography in Lean 4.☆50May 27, 2026Updated 2 months ago
- A framework for extracting and formally verifying constraint systems from the Plonky3 zkDSL in Lean.☆16Jan 21, 2026Updated 6 months ago
- Modern exoplanets catalog☆16Jul 21, 2026Updated last week
- ZK Benchmarking Suite☆23Mar 15, 2024Updated 2 years ago
- ☆14Jan 28, 2020Updated 6 years ago
- A Lean library for machine-checked cryptographic proofs.☆132Updated this week
- Canonical normalizing flows☆10Apr 30, 2019Updated 7 years ago
- Formally Verified Arguments of Knowledge in Lean☆319Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆23Updated this week
- Fast 4 way vectorized ladder for the complete set of Montgomery curves☆11Feb 13, 2019Updated 7 years ago
- Fully connected neural nets for supervised learning DQMC data☆12Jul 13, 2016Updated 10 years ago
- Pairing-friendly elliptic curve library☆10Sep 4, 2022Updated 3 years ago
- Implementation of the fastest ISD algorithms☆25Feb 21, 2025Updated last year
- ☆25Dec 9, 2024Updated last year
- Implementation of Multi-Key TFHE [KMS22]☆21Jan 24, 2024Updated 2 years ago