Zeus server
☆66Jun 10, 2024Updated 2 years ago
Alternatives and similar repositories for zeus
Users that are interested in zeus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An implementation of Simple Transferable Vote☆12Apr 27, 2026Updated 5 months ago
- Synnefo is open source cloud software, used to create massively scalable IaaS clouds.☆147Apr 17, 2018Updated 8 years ago
- Diavgeia using Semantic Technologies and Permissionless Blockchains☆16Feb 15, 2018Updated 8 years ago
- Simulating taxi-request matchings on a grid.☆11Aug 25, 2020Updated 6 years ago
- Search GitHub repositories☆16Apr 19, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Helios Server (Helios is an end-to-end verifiable voting system) as library☆13Apr 13, 2026Updated 6 months ago
- ☆17Jun 24, 2016Updated 10 years ago
- Enabling NIPoPoW Applications on Bitcoin Cash☆20Mar 22, 2020Updated 6 years ago
- A collection of recipes for setting up isolated, sandboxed e2e tests with an elixir backend and a multitude of frontends.☆12Jun 6, 2023Updated 3 years ago
- Rust crate for parsing/formatting Python literals☆18Apr 7, 2021Updated 5 years ago
- Program verification with F* course materials☆12Jul 6, 2019Updated 7 years ago
- yolov3 in a docker container (fronted by Flask)☆17Aug 31, 2020Updated 6 years ago
- Cpp Course☆16Jun 25, 2026Updated 3 months ago
- LibreOffice customization and creation of legal Templates☆15Aug 21, 2018Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆11Nov 27, 2024Updated last year
- 🦅 VSCode extension for F* with IDE features☆16Mar 21, 2020Updated 6 years ago
- GPGVote is a web-based e-voting system, based on PGP encryption.☆17Jun 3, 2013Updated 13 years ago
- Simple docker-compose-based project to get quickly up and running a Chainlink node☆13Apr 3, 2021Updated 5 years ago
- A framework to build Zero-knowledge non-interactive proofs, based on the Fiat-Shamir heuristic, a proof-of-work, and a constant-size comm…☆31Jan 17, 2018Updated 8 years ago
- Python bindings for a minimal subset of libsnark☆11May 22, 2022Updated 4 years ago
- ☆11Apr 30, 2026Updated 5 months ago
- Formalisation of Goedel's System T in Coq☆15Jul 1, 2011Updated 15 years ago
- ☆16Sep 8, 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.
- An unofficial issue tracker for all things Haskell-related☆18Mar 31, 2016Updated 10 years ago
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness☆12Apr 30, 2026Updated 5 months ago
- ☆38Jan 17, 2024Updated 2 years ago
- ☆57Sep 28, 2026Updated 2 weeks ago
- Data-Oriented Differential Testing of ORM Systems.☆15Jan 22, 2021Updated 5 years ago
- ☆12Sep 5, 2022Updated 4 years ago
- A framework for implementing and certifying impure computations in Coq☆53Jan 16, 2024Updated 2 years ago
- Lambda Jam 2014: Roll Your Own Relational DSL☆15Feb 3, 2017Updated 9 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆16Jul 1, 2015Updated 11 years ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- PANORAMIX repo☆20Dec 10, 2022Updated 3 years ago
- NEWS! We will soon release a TypeScript transpilation and improvement of this library. Self-contained cryptographic library for use in el…☆16Jan 21, 2022Updated 4 years ago
- A set of templates for different academic venues.☆29Jun 18, 2019Updated 7 years ago
- Python winternitz package. Contains (probably) post-quantum secure digital signature algorithms. Currently WOTS and WOTS+ are implemented☆15Mar 14, 2019Updated 7 years ago
- Secret Handshake implementation in Python☆22Jan 6, 2026Updated 9 months ago