Proof of concept code for VoteAgain paper
☆10Jul 23, 2023Updated 2 years ago
Alternatives and similar repositories for voteagain
Users that are interested in voteagain are comparing it to the libraries listed below
Sorting:
- Implementation of additive homomorphic ElGamal using the Ristretto group over Curve25519☆22Sep 5, 2022Updated 3 years ago
- Open Letter to University Leaders☆19Apr 6, 2020Updated 5 years ago
- A 2-4h workshop on the Tamarin protocol verifier.☆22Jun 12, 2025Updated 8 months ago
- Source code of "Hold me tight! Influence of discriminative features on deep network boundaries"☆21Dec 10, 2021Updated 4 years ago
- A CUDA implementation of the Tsetlin Machine based on bitwise operators☆26Aug 19, 2019Updated 6 years ago
- Bilinear Pairings Components Library for Delphi☆12Dec 19, 2018Updated 7 years ago
- A Robot that classifies digits and shapes☆10Jul 10, 2019Updated 6 years ago
- Mobile Phone Voting Application for CS1631 at the University of Pittsburgh☆10Mar 5, 2016Updated 9 years ago
- Reconnaître la marque/modèle des véhicules dans une image☆11Mar 31, 2023Updated 2 years ago
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Oct 1, 2023Updated 2 years ago
- Calculate allowed interactions in QED☆10Nov 2, 2022Updated 3 years ago
- Prototype of fraud proofs.☆12Feb 13, 2022Updated 4 years ago
- An open-source command line interface for linting your Ethereum 2.0 validator set up☆14May 17, 2021Updated 4 years ago
- an implementation of the dynamic convex hull algorithm by Overmars and van Leeuwen, also including concatenable queue, 2-3 tree, and left…☆11Nov 22, 2025Updated 3 months ago
- Library and experiments for attacking machine learning in discrete domains☆47Dec 8, 2022Updated 3 years ago
- Java implementation of Paillier algorithm. This is one of the few known system that preserves additive homomorphic properties. JCA Pailli…☆11Jan 29, 2019Updated 7 years ago
- Analog circuit simulation library; wrapper for ngspice☆10Aug 31, 2020Updated 5 years ago
- Dynamic analysis of multithreaded C programs☆13Feb 7, 2020Updated 6 years ago
- Site du programme Entrepreneurs d'Intérêt Général☆14Oct 6, 2022Updated 3 years ago
- Cryptography in SageMath.☆10Dec 17, 2018Updated 7 years ago
- Repository of papers released by Modulus Labs☆13Mar 13, 2024Updated last year
- ☆13Aug 23, 2023Updated 2 years ago
- ☆10Jan 7, 2024Updated 2 years ago
- Rust port of the streaming ddelta patch algorithm, based on bsdiff☆12May 2, 2024Updated last year
- Prints a dot graph of a nim ast dumped using the `dumpTree` macro.☆13Sep 18, 2022Updated 3 years ago
- ☆12Apr 10, 2019Updated 6 years ago
- Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.☆10Jan 24, 2026Updated last month
- Learn the Design of a 6-stage pipelined RISC-V CPU☆17Oct 22, 2025Updated 4 months ago
- A small test for multithreaded C++ stack unwinding on unixes☆16Feb 24, 2020Updated 6 years ago
- A system that exposes a engine api to the public, allowing a multiple consensus to one execution node setup.☆13Nov 30, 2025Updated 3 months ago
- A Python package to scrape flight data from Google Flights.☆15Apr 20, 2024Updated last year
- ☆11Nov 29, 2017Updated 8 years ago
- randomized SVD with single pass over data matrix☆10Apr 23, 2023Updated 2 years ago
- Auto-built docker image with latest Nim devel version☆10Jul 21, 2023Updated 2 years ago
- Clockwork: A Modular Arithmetic library for C++☆12Nov 18, 2025Updated 3 months ago
- [RFC9380] Hash to curves - Go reference implementation☆21Nov 20, 2025Updated 3 months ago
- A repo of my talks☆11Nov 28, 2023Updated 2 years ago
- ☆11Sep 10, 2024Updated last year
- A test library for computing modular exponentiation in parallel using AVX-512 vector arithmetic☆12Dec 18, 2023Updated 2 years ago