Design and implementation of a threshold-cryptography library
☆20Jan 24, 2025Updated last year
Alternatives and similar repositories for thetacrypt
Users that are interested in thetacrypt are comparing it to the libraries listed below
Sorting:
- A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox☆14Feb 14, 2026Updated 2 weeks ago
- DEciding Equivalence Properties in SECurity protocols☆20Mar 1, 2023Updated 3 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2018☆23May 9, 2018Updated 7 years ago
- VERified asSembler for cryptographic primitives☆12Jul 15, 2023Updated 2 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- A systems Lisp that compiles to C. Homoiconic macros, refcounted memory, Hindley-Milner type inference.☆33Feb 16, 2026Updated last week
- SageMath implementation of the Isogeny-Based PKE FESTA☆10Aug 18, 2023Updated 2 years ago
- Graph-theoretical optimization of fusion-based graph state generation☆11Jun 4, 2025Updated 8 months ago
- gdb pretty printer for llvm's libcxx☆11Mar 9, 2018Updated 7 years ago
- All the code I've ever written in Ltac2☆11Jan 19, 2021Updated 5 years ago
- ☆25Dec 14, 2025Updated 2 months ago
- Materials for the virtual NIMBLE workshop, May 26-28, 2021. For logistical information, please look below the file listing.☆14May 28, 2021Updated 4 years ago
- ☆16Jun 22, 2024Updated last year
- Large-Scale Graph Inference☆12Nov 6, 2024Updated last year
- An attempt at writing a Lattice Boltzmann CFD simulator in Rust☆10Apr 29, 2019Updated 6 years ago
- ☆11Mar 18, 2025Updated 11 months ago
- ☆14Nov 23, 2016Updated 9 years ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated 3 weeks ago
- The repository for the book "The Node Experiment - Exploring Async Basics with Rust"☆15Oct 9, 2019Updated 6 years ago
- ☆10Nov 13, 2023Updated 2 years ago
- ☆10Jun 14, 2020Updated 5 years ago
- Example for writing a simple parser using Nom and Rust☆10Nov 19, 2020Updated 5 years ago
- Code for the article series on building a Python compiler and interpreter☆11Feb 13, 2025Updated last year
- Arithmetic in Rust's Type System☆11Feb 18, 2024Updated 2 years ago
- Conceal a disk partition from Windows☆13Feb 24, 2016Updated 10 years ago
- ☆10May 2, 2022Updated 3 years ago
- Blockchain-based Federated Learning Utilizing Zero-Knowledge Proofs for Verifiable Training and Aggregation☆14Dec 26, 2024Updated last year
- Hardware-tailored grouping for Pauli measurements.☆13Nov 28, 2025Updated 3 months ago
- ☆11Aug 15, 2023Updated 2 years ago
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- ☆11Dec 3, 2020Updated 5 years ago
- ☆12Oct 3, 2020Updated 5 years ago
- Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.☆10Jan 24, 2026Updated last month
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Mar 31, 2017Updated 8 years ago
- ☆12Oct 1, 2024Updated last year
- Repo for the Journal of Systems Research (JSYS)☆11Jan 7, 2020Updated 6 years ago
- First two front-end phases of a language-independent compiler implemented in C++☆14Jul 27, 2020Updated 5 years ago
- An efficient, lazy suffix tree implementation☆13Dec 10, 2020Updated 5 years ago
- interprets lambda calculus☆10Dec 1, 2025Updated 3 months ago