A fast, pure-Rust library for computational number theory
☆54Jul 1, 2026Updated last 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☆29Jun 15, 2026Updated 3 weeks ago
- ☆10Apr 26, 2026Updated 2 months ago
- Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures☆13Oct 30, 2023Updated 2 years ago
- A Dark theme for VS Code☆14Apr 1, 2021Updated 5 years ago
- A support library for working with zero knowledge cryptography in Lean 4.☆49May 27, 2026Updated last month
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Issues, discussions, and roadmaps for Legible News☆11Mar 10, 2022Updated 4 years ago
- Code accompanying the paper "ApresSQI: Extra Fast Verification for SQIsign Using Extension-Field Signing".☆10Jun 18, 2026Updated 3 weeks ago
- ☆14Jan 28, 2020Updated 6 years ago
- My experiments in understanding AES, Whitebox AES, and related attacks☆19Oct 11, 2020Updated 5 years ago
- Implementation of Multi-Key TFHE [KMS22]☆20Jan 24, 2024Updated 2 years ago
- Fast 4 way vectorized ladder for the complete set of Montgomery curves☆11Feb 13, 2019Updated 7 years ago
- Pairing-friendly elliptic curve library☆10Sep 4, 2022Updated 3 years ago
- Fun with MuSig2 and Ledger devices 🎵☆11Jul 1, 2025Updated last year
- Implementation of bulletproofs++ in rust☆18May 8, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆25Dec 9, 2024Updated last year
- A depth-aware secure computation compiler☆17Jun 7, 2025Updated last year
- ☆52Oct 10, 2023Updated 2 years ago
- A safe & fast low-level language.☆13Mar 5, 2026Updated 4 months ago
- ☆11Jan 17, 2023Updated 3 years ago
- POC implementation of "Accelerating HE Operations Using Key Decomposition"[KLSS23]☆19Jun 11, 2025Updated last year
- Secure Interrogation of Genomic Databases (SIG-DB) using Homomorphic Encryption☆10May 16, 2018Updated 8 years ago
- Coq library for serialization to S-expressions☆20Jul 3, 2023Updated 3 years ago
- Implementation of the signature scheme SQISign accompanying the paper "New algorithms for the Deuring correspondence - Towards practical …☆17May 17, 2024Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Symbolic Geometric Algebra with E-Graphs☆20May 2, 2026Updated 2 months ago
- ☆17May 29, 2026Updated last month
- Game in Haskell☆15May 25, 2026Updated last month
- A nim library for making graphs with GraphViz and DOT (based on PyGraphviz)☆11Apr 25, 2026Updated 2 months ago
- STM32 + Rust + RTIC embedded project☆21Jan 5, 2021Updated 5 years ago
- Hash chains built with BLAKE2b☆24May 8, 2024Updated 2 years ago
- HE-MAN – Homomorphically Encrypted MAchine learning with oNnx models and Concrete☆15Sep 18, 2023Updated 2 years ago
- Rust Code for CELPC☆20Mar 28, 2025Updated last year
- An itree-like data-structure to additionally support internal non-determinism☆22Apr 17, 2026Updated 2 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Martin-Löf type theory + W-types implemented in C (WIP)☆28Feb 16, 2026Updated 4 months ago
- Profiler for Rust programs on macOS☆28Dec 14, 2021Updated 4 years ago
- Implementation of Multi-Party Threshold Private Set Intersection with Sublinear Communication☆12Feb 2, 2021Updated 5 years ago
- Is SIKE broken yet?☆21Feb 15, 2023Updated 3 years ago
- A formal verification of Linear PCP SNARKs.☆62Updated this week
- Testing flow matching in Euclidean space and Lie groups.☆16Mar 18, 2026Updated 3 months ago
- Refreshing automation for inductive equational proofs using e-graphs☆27Jul 7, 2024Updated 2 years ago