Secure Internet Voting protocol
☆22Nov 4, 2026Updated this week
Alternatives and similar repositories for siv
Users that are interested in siv are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14Jul 9, 2015Updated 11 years ago
- ESLint plugin for sorting of various things.☆12Feb 12, 2019Updated 7 years ago
- Babel plugin which compiles JSX into hyperHTML☆12Nov 21, 2017Updated 8 years ago
- Boilerplate code for developing plugins for the TLSNotary browser extension using Extism☆11Aug 27, 2025Updated last year
- Easily plan & track time, costs, and budgets on work items.☆12Aug 30, 2019Updated 7 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Models for authenticated key exchange in Tamarin☆12Oct 9, 2019Updated 7 years ago
- SDK for streaming media via RTMP from the web.☆14Aug 7, 2023Updated 3 years ago
- An open and decentralized private social network☆16Jun 19, 2023Updated 3 years ago
- AI agents and workflows for Kotlin Multiplatform, as small typed graphs: loops, parallel steps, streaming, save points and human approval…☆14Updated this week
- ☆10Jun 13, 2019Updated 7 years ago
- A command-line tool for securely backing up, restoring, and verifying secrets using interoperable standards like age encryption and coreu…☆21Jun 25, 2026Updated 4 months ago
- ☆10Mar 10, 2015Updated 11 years ago
- zk hacker house taiwan project☆12Jul 16, 2026Updated 3 months ago
- Old (2019) spec proposal: A CLI to co-host websites published to IPFS☆27May 1, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆10Feb 13, 2016Updated 10 years ago
- ZkMarek is an educational project created by ethmarek, as an exercise to learn cryptography, with focus on understanding Plonk.☆15Jul 2, 2025Updated last year
- ☆10Jun 26, 2024Updated 2 years ago
- ☆13Oct 22, 2023Updated 3 years ago
- Privacy and Scaling Explorations☆11Sep 20, 2023Updated 3 years ago
- Tamarin models for Bluetooth secure pairing protocols: Passkey Entry (PE) and Numeric comparison (NC)☆11May 3, 2024Updated 2 years ago
- Proof of concept code for VoteAgain paper☆10Jul 23, 2023Updated 3 years ago
- ☆14Dec 13, 2024Updated last year
- testground plans for evaluating gossipsub under attack scenarios☆13May 1, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A workshop to get familiar with the mpz library☆11Jun 10, 2025Updated last year
- A JS library and Svelte component that implements and visualizes a self-organizing map (SOM)☆15Apr 23, 2025Updated last year
- ☆18Apr 30, 2026Updated 6 months ago
- ETNA CLI is a command line interface that allows you to interact with the ETNA Benchmarking and Analysis Platform. It provides a set of c…☆15Oct 21, 2026Updated 2 weeks ago
- repository for core circom and smart contract☆13Apr 23, 2023Updated 3 years ago
- [DEPRECATED]☆16Dec 31, 2014Updated 11 years ago
- Create MPC apps with TypeScript.☆61Jul 22, 2025Updated last year
- ☆15Sep 5, 2023Updated 3 years ago
- Formal verification tools for Chisel and RISC-V☆15Mar 29, 2026Updated 7 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 🔮 Orb and related contracts. Auction + Harberger taxed ownership + invocations.☆23Sep 21, 2024Updated 2 years ago
- JSON/CBOR style format as a compressor☆25Sep 2, 2020Updated 6 years ago
- A NodeJS framework for creating sandboxed runtimes for untrusted code.☆16Jan 11, 2022Updated 4 years ago
- Administrative tool for your ipfs.pics server☆13Aug 16, 2016Updated 10 years ago
- An implementation of the Nano cryptocurrency in Go☆36Jan 3, 2022Updated 4 years ago
- Ruby Hardware Description Language☆15Mar 13, 2013Updated 13 years ago
- Amazon F1-inspired Xilinx VCU118 hardware design framework☆14Jan 4, 2021Updated 5 years ago