alex-ozdemir / flint-rsView external linksLinks
☆10Jan 27, 2026Updated 3 weeks ago
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☆25Jan 20, 2026Updated 3 weeks ago
- 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☆45Jan 25, 2026Updated 3 weeks ago
- Community edition of Nightfall_4☆16Updated this week
- The source code for a web app that displays the Gunn schedule; the app itself is here:☆12Jun 29, 2023Updated 2 years ago
- USI shogi engine☆14Updated this week
- A PBT framework☆10Jul 19, 2025Updated 6 months ago
- ☆11Sep 10, 2024Updated last year
- Japanese Spelling Error Corrector using BERT(Masked-Language Model). BERTに基づいて日本語校正☆14Aug 3, 2024Updated last year
- ☆10Mar 26, 2021Updated 4 years ago
- 2048, but the RNG is always against you☆10Aug 4, 2023Updated 2 years ago
- IPC primitives for Rust☆11Sep 3, 2019Updated 6 years 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
- 🐺 Simple STARK verifier in cameligo☆11Jun 5, 2023Updated 2 years ago
- Fluent binary serialization / deserialization in TypeScript.☆10Oct 27, 2025Updated 3 months ago
- OCaml bindings to the number theory library PARI/GP☆12Jan 11, 2025Updated last year
- Implementation of Multi-Party Threshold Private Set Intersection with Sublinear Communication☆12Feb 2, 2021Updated 5 years ago
- ffi binding of the Lua/LuaJIT C API☆13Nov 12, 2019Updated 6 years ago
- ☆13Jan 23, 2022Updated 4 years ago
- Temperament evaluation tools☆10Jan 6, 2026Updated last month
- SQLite3 for Bazel projects☆14Feb 1, 2026Updated 2 weeks ago
- The updated website for b01lers CTF!☆13Dec 3, 2025Updated 2 months ago
- LHSS is an implementation of lattice-based homomorphic secret sharing.☆12Apr 9, 2020Updated 5 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
- Automata Chemistry☆15Jan 31, 2022Updated 4 years ago
- Wireguard VPN implementation in Java. max throughput of about 5gbit☆13Feb 17, 2024Updated last year
- library for asynchronous processing in LuaJIT☆15Apr 12, 2022Updated 3 years ago
- ☆13Oct 23, 2022Updated 3 years ago
- An experimental xenharmonic piano roll application☆11Nov 12, 2021Updated 4 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
- A fast ring buffer implementation with cheap and safe indexing written in Rust☆15Sep 22, 2025Updated 4 months 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
- Lattice-Based Zero-Knowledge Proofs and Applications: Shorter, Simpler, and More General☆16Jan 13, 2023Updated 3 years ago
- Finite Fields and Curves in Lean☆14Apr 6, 2023Updated 2 years ago
- Proving shortest paths with recursive SNARKs☆15Mar 9, 2023Updated 2 years ago
- Program verification with F* course materials☆12Jul 6, 2019Updated 6 years ago
- A chess engine written in C☆16Updated this week
- Email data structure and builder for streaming emails☆18Jul 27, 2022Updated 3 years ago