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:
- Diavgeia using Semantic Technologies and Permissionless Blockchains☆16Feb 15, 2018Updated 8 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
- ☆17Jun 24, 2016Updated 10 years ago
- Enabling NIPoPoW Applications on Bitcoin Cash☆20Mar 22, 2020Updated 6 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.
- Aplicación de visualización de presupuestos del Gobierno de Aragón☆24Jan 14, 2026Updated 6 months ago
- Program verification with F* course materials☆12Jul 6, 2019Updated 7 years ago
- LibreOffice customization and creation of legal Templates☆15Aug 21, 2018Updated 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
- Clean up the formatting of 'show' output☆21Apr 25, 2026Updated 3 months ago
- Ganetimgr is a Django application that manages Ganeti clusters☆37Dec 11, 2018Updated 7 years ago
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 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.
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness☆12Apr 30, 2026Updated 2 months ago
- ☆57Jul 1, 2026Updated 3 weeks ago
- Syntax highlighting for F* in Atom Editor☆11Oct 4, 2021Updated 4 years 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
- A set of templates for different academic venues.☆29Jun 18, 2019Updated 7 years ago
- A modern open-source Kubernetes auditing and investigation tool☆22Apr 10, 2026Updated 3 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.
- CSAW 2017 Embedded Security Challenge☆12Jun 7, 2018Updated 8 years ago
- An interactive visualization of the City of Philadelphia's Operating Budget☆16Mar 1, 2018Updated 8 years ago
- A language agnostic collaborative cloud IDE☆19Apr 20, 2015Updated 11 years ago
- A DIY robot kit for educators☆21Sep 1, 2021Updated 4 years ago
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Mar 31, 2017Updated 9 years ago
- My CV☆21May 4, 2026Updated 2 months ago
- Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors☆20Sep 23, 2019Updated 6 years ago
- My NixOS configuration and custom Nix derivations.☆12Nov 2, 2020Updated 5 years ago
- ☆14Nov 23, 2016Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Binary logical relations library for the Coq proof assistant☆23Mar 26, 2026Updated 4 months ago
- Repository for the course Logical Verification 2019–2020 at VU Amsterdam☆13Dec 16, 2019Updated 6 years ago
- A project created for the purpose of teaching how to persist data using PostgreSQL while creating APIs with NodeJs☆15Nov 7, 2018Updated 7 years ago
- FNV hash collision generator☆12Mar 2, 2017Updated 9 years ago
- ☆14Feb 8, 2015Updated 11 years ago
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆56Oct 2, 2025Updated 9 months ago
- A DSL to create slides written in Common Lisp☆16Dec 9, 2011Updated 14 years ago