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:
- Synnefo is open source cloud software, used to create massively scalable IaaS clouds.☆146Apr 17, 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
- Extensible records and variants indexed by a type-level Red-Black tree.☆18Apr 27, 2024Updated 2 years ago
- Search GitHub repositories☆15Apr 19, 2018Updated 8 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Enabling NIPoPoW Applications on Bitcoin Cash☆20Mar 22, 2020Updated 6 years ago
- Διανομές ανοιχτού λογισμικού για όλες τις βαθμίδες εκπαίδευσης☆12Jan 5, 2018Updated 8 years ago
- Program verification with F* course materials☆12Jul 6, 2019Updated 7 years ago
- Λίστα Νομών - Επαρχιών - Οικισμών της Ελλάδας με ιεραρχική κωδικοποίηση & επαγγέλματα☆13Sep 20, 2017Updated 8 years ago
- ☆11Nov 27, 2024Updated last year
- GPGVote is a web-based e-voting system, based on PGP encryption.☆17Jun 3, 2013Updated 13 years ago
- Spacemacs layer for fstar (wrapper for fstar-mode.el)☆10Jul 13, 2020Updated 6 years ago
- Open Data Aggregation & Knowledge Base Repository for the evolution of the SARS-COV-2 pandemic in Greece.☆22Oct 25, 2022Updated 3 years ago
- Clean up the formatting of 'show' output☆21Aug 14, 2026Updated 3 weeks 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.
- 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 4 months ago
- Ηλεκτρονικό Πρωτόκολλο για το Σχολείο με δυνατότητα Αρχειοθέτησης εγγράφων και Εκκαθάρισης του Σχολικού Αρχείου☆12Jan 9, 2025Updated last year
- Formalisation of Goedel's System T in Coq☆15Jul 1, 2011Updated 15 years ago
- ☆38Aug 21, 2025Updated last year
- 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 4 months ago
- Syntax highlighting for F* in Atom Editor☆11Oct 4, 2021Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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
- 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
- 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
- Documentation and best practices for developers of La Suite☆17Jul 1, 2026Updated 2 months ago
- Secret Handshake implementation in Python☆22Jan 6, 2026Updated 7 months 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.
- A DIY robot kit for educators☆21Sep 1, 2021Updated 5 years ago
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Mar 31, 2017Updated 9 years ago
- Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq☆20Jun 3, 2026Updated 3 months ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Aug 25, 2026Updated last week
- Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors☆20Sep 23, 2019Updated 6 years ago
- Our research-based report on establishing the conditions for success with open source in governments☆20Jun 24, 2021Updated 5 years ago
- Toy demo of lexing/parsing in Coq☆12Jul 3, 2019Updated 7 years ago