Zeus server
☆65Jun 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 3 months ago
- Privacy-preserving epidemic dosimeter based on DP-3T contact tracing☆53May 3, 2021Updated 5 years ago
- Diavgeia using Semantic Technologies and Permissionless Blockchains☆16Feb 15, 2018Updated 8 years ago
- A formalization of properties of a simple imperative, memory-safe language.☆20Sep 27, 2021Updated 4 years ago
- 🕵️♀️ Observatoire de la qualité des démarches en ligne☆11Feb 27, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Greek Street Names Directory☆14Sep 28, 2016Updated 9 years ago
- Simulating taxi-request matchings on a grid.☆11Aug 25, 2020Updated 5 years ago
- Gobierto Spanish municipalities budgets: data and tools to import it☆14Jul 31, 2026Updated 2 weeks ago
- Helios server☆914Apr 14, 2026Updated 4 months ago
- Search GitHub repositories☆15Apr 19, 2018Updated 8 years ago
- Helios Server (Helios is an end-to-end verifiable voting system) as library☆13Apr 13, 2026Updated 4 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
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Διανομές ανοιχτού λογισμικού για όλες τις βαθμίδες εκπαίδευσης☆12Jan 5, 2018Updated 8 years ago
- Aplicación de visualización de presupuestos del Gobierno de Aragón☆24Jan 14, 2026Updated 7 months ago
- Rust crate for parsing/formatting Python literals☆18Apr 7, 2021Updated 5 years ago
- Cpp Course☆16Jun 25, 2026Updated last month
- LibreOffice customization and creation of legal Templates☆15Aug 21, 2018Updated 7 years ago
- ☆11Nov 27, 2024Updated last year
- ☆16Feb 17, 2022Updated 4 years ago
- GPGVote is a web-based e-voting system, based on PGP encryption.☆17Jun 3, 2013Updated 13 years ago
- API for Digital Public Goods☆20Aug 16, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Ganetimgr is a Django application that manages Ganeti clusters☆37Dec 11, 2018Updated 7 years ago
- ☆16Sep 8, 2025Updated 11 months ago
- An unofficial issue tracker for all things Haskell-related☆18Mar 31, 2016Updated 10 years ago
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness☆12Apr 30, 2026Updated 3 months ago
- This is the issue tracker for the maintenance of Core Public Organisation Vocabulary☆15Jun 9, 2026Updated 2 months ago
- ☆12Sep 5, 2022Updated 3 years ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- A very simple app to make formatted flashcards from Google Sheets☆11Jul 25, 2018Updated 8 years ago
- PANORAMIX repo☆20Dec 10, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 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
- A vocabulary that describes the basic elements of a public event, such as conferences and summits.☆18Jun 9, 2026Updated 2 months ago
- Code samples for "Introduction to OpenCV" slides☆17Mar 23, 2018Updated 8 years ago
- CSAW 2017 Embedded Security Challenge☆12Jun 7, 2018Updated 8 years ago
- Αποθετήριο καταγραφής και παρουσίασης έργων ανοιχτής σχεδίασης για νοσοκομειακό εξοπλισμό☆14Jun 4, 2021Updated 5 years ago
- A vocabulary that describes the basic elements of location information, such as geometries and addresses.☆18Jun 9, 2026Updated 2 months ago