☆10Jan 27, 2026Updated last month
Alternatives and similar repositories for flint-rs
Users that are interested in flint-rs are comparing it to the libraries listed below
Sorting:
- Mathematical foundations for rapid prototyping of lattice-based cryptography☆27Updated this week
- Secure Interrogation of Genomic Databases (SIG-DB) using Homomorphic Encryption☆10May 16, 2018Updated 7 years ago
- A fast, pure-Rust library for computational number theory☆48Updated this week
- USI shogi engine☆15Feb 27, 2026Updated last week
- The source code for a web app that displays the Gunn schedule; the app itself is here:☆12Jun 29, 2023Updated 2 years ago
- Community edition of Nightfall_4☆16Updated this week
- 🐺 Simple STARK verifier in cameligo☆11Jun 5, 2023Updated 2 years ago
- OCaml bindings to the number theory library PARI/GP☆12Jan 11, 2025Updated last year
- ☆10Mar 26, 2021Updated 4 years ago
- 2048, but the RNG is always against you☆10Aug 4, 2023Updated 2 years ago
- A PBT framework☆10Jul 19, 2025Updated 7 months ago
- Pure Rust implementation of the post-quantum secure digital signature scheme FAEST☆16Feb 19, 2026Updated 2 weeks ago
- A fast, iterative, correct approach to Stackblur, resulting in a very smooth and high-quality output, with no edge bleeding☆13Aug 13, 2022Updated 3 years ago
- Fluent binary serialization / deserialization in TypeScript.☆10Oct 27, 2025Updated 4 months ago
- ☆11Sep 10, 2024Updated last year
- IPC primitives for Rust☆11Sep 3, 2019Updated 6 years ago
- Japanese Spelling Error Corrector using BERT(Masked-Language Model). BERTに基づいて日本語校正☆14Aug 3, 2024Updated last year
- Implementation of Multi-Party Threshold Private Set Intersection with Sublinear Communication☆12Feb 2, 2021Updated 5 years ago
- The updated website for b01lers CTF!☆13Feb 28, 2026Updated last week
- Temperament evaluation tools☆10Jan 6, 2026Updated 2 months ago
- ffi binding of the Lua/LuaJIT C API☆13Nov 12, 2019Updated 6 years ago
- ☆13Jan 23, 2022Updated 4 years ago
- SQLite3 for Bazel projects☆13Mar 1, 2026Updated last week
- ilo Tokisona li toki pi ilo sona.☆10Apr 16, 2021Updated 4 years ago
- ☆13Oct 23, 2022Updated 3 years ago
- library for asynchronous processing in LuaJIT☆15Apr 12, 2022Updated 3 years ago
- LHSS is an implementation of lattice-based homomorphic secret sharing.☆12Apr 9, 2020Updated 5 years ago
- Wireguard VPN implementation in Java. max throughput of about 5gbit☆13Feb 17, 2024Updated 2 years ago
- ☆18Aug 11, 2024Updated last year
- WebSocket Manager that facilitates secure communication between parties for multi party computation applications.☆11Apr 24, 2023Updated 2 years ago
- Generate subtitles (.srt file) from an audio/video file. It uses the faster-whisper library, which is much faster than the OpenAI origina…☆18Nov 8, 2023Updated 2 years ago
- Lattice-Based Zero-Knowledge Proofs and Applications: Shorter, Simpler, and More General☆16Jan 13, 2023Updated 3 years ago
- Automata Chemistry☆15Jan 31, 2022Updated 4 years ago
- proteaAudio is a free cross-platform 2D audio library for C++ and Lua. This repo contains enhancements for Linux.☆13May 27, 2012Updated 13 years ago
- An experimental xenharmonic piano roll application☆11Nov 12, 2021Updated 4 years ago
- A fast ring buffer implementation with cheap and safe indexing written in Rust☆15Sep 22, 2025Updated 5 months ago
- Mathematical expression parser and evaluator☆15Feb 29, 2020Updated 6 years ago
- Program verification with F* course materials☆12Jul 6, 2019Updated 6 years ago
- Proving shortest paths with recursive SNARKs☆15Mar 9, 2023Updated 3 years ago