A fast, pure-Rust library for computational number theory
☆50Mar 19, 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☆27Updated this week
- ☆35Oct 20, 2025Updated 5 months ago
- ☆10Jan 27, 2026Updated last month
- Futhark implementation of neptune-compatible Poseidon.☆27Apr 4, 2021Updated 4 years ago
- A Dark theme for VS Code☆13Apr 1, 2021Updated 4 years ago
- A library for lattice-based multiparty homomorphic encryption in Go☆14Dec 20, 2024Updated last year
- A support library for working with zero knowledge cryptography in Lean 4.☆49Aug 27, 2025Updated 6 months ago
- My experiments in understanding AES, Whitebox AES, and related attacks☆19Oct 11, 2020Updated 5 years ago
- Canonical normalizing flows☆10Apr 30, 2019Updated 6 years ago
- Implementation of Multi-Key TFHE [KMS22]☆20Jan 24, 2024Updated 2 years ago
- Pairing-friendly elliptic curve library☆10Sep 4, 2022Updated 3 years ago
- Fully connected neural nets for supervised learning DQMC data☆12Jul 13, 2016Updated 9 years ago
- Fun with MuSig2 and Ledger devices 🎵☆11Jul 1, 2025Updated 8 months ago
- ☆25Dec 9, 2024Updated last year
- ☆52Oct 10, 2023Updated 2 years ago
- A safe & fast low-level language.☆13Mar 5, 2026Updated 2 weeks ago
- POC implementation of "Accelerating HE Operations Using Key Decomposition"[KLSS23]☆19Jun 11, 2025Updated 9 months ago
- Secure Interrogation of Genomic Databases (SIG-DB) using Homomorphic Encryption☆10May 16, 2018Updated 7 years ago
- Coq library for serialization to S-expressions☆20Jul 3, 2023Updated 2 years ago
- Python implementation of Knuth's Dancing Links (dlx) algorithm to solve set cover. Extremely efficient at solving Sudoku and combinatoria…☆17Feb 16, 2023Updated 3 years ago
- Zero-cost specialization in generic context on stable Rust☆24Jun 7, 2025Updated 9 months ago
- OpenFHE-rs - a Rust interface for the OpenFHE library; documentation https://openfhe-rust-wrapper.readthedocs.io/☆55Feb 26, 2025Updated last year
- Symbolic Geometric Algebra with E-Graphs☆19Oct 11, 2023Updated 2 years ago
- STM32 + Rust + RTIC embedded project☆21Jan 5, 2021Updated 5 years ago
- Game in Haskell☆14Mar 14, 2026Updated last week
- A nim library for making graphs with GraphViz and DOT (based on PyGraphviz)☆11Sep 7, 2021Updated 4 years ago
- An itree-like data-structure to additionally support internal non-determinism☆21Nov 25, 2025Updated 3 months ago
- Profiler for Rust programs on macOS☆28Dec 14, 2021Updated 4 years ago
- Library of C++ classes and templates handling child processes, streams/sockets, shared memory, config files, etc.☆12Jun 25, 2018Updated 7 years ago
- A formal verification of Linear PCP SNARKs.☆60Jul 20, 2024Updated last year
- Improved type safety with tight TypeScript interop☆14Feb 17, 2025Updated last year
- Implementation of Multi-Party Threshold Private Set Intersection with Sublinear Communication☆12Feb 2, 2021Updated 5 years ago
- A simple, extensible, docker container and HTTP server for microservice-ing Python ML code.☆15Aug 19, 2018Updated 7 years ago
- Testing flow matching in Euclidean space and Lie groups.☆13Updated this week
- Refreshing automation for inductive equational proofs using e-graphs☆24Jul 7, 2024Updated last year
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Dec 18, 2018Updated 7 years ago
- A modern computer algebra library for Python and Rust.☆748Updated this week
- Distributed number crunching with nim☆12Dec 19, 2023Updated 2 years ago
- SQLite3 for Bazel projects☆13Mar 1, 2026Updated 3 weeks ago