Zeus server
☆65Jun 10, 2024Updated last year
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
- ElGamal encryption and related zero-knowledge proofs☆17Apr 29, 2026Updated last week
- Search GitHub repositories☆15Apr 19, 2018Updated 8 years ago
- Λίστα Νομών - Επαρχιών - Οικισμών της Ελλάδας με ιεραρχική κωδικοποίηση & επαγγέλματα☆13Sep 20, 2017Updated 8 years ago
- Program verification with F* course materials☆12Jul 6, 2019Updated 6 years 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.
- LibreOffice customization and creation of legal Templates☆15Aug 21, 2018Updated 7 years ago
- 🦅 VSCode extension for F* with IDE features☆16Mar 21, 2020Updated 6 years ago
- Drupal Projects Status Board - List of Drupal modules/themes with versions, maintainers details.☆14Jun 14, 2021Updated 4 years ago
- Formalisation of Goedel's System T in Coq☆15Jul 1, 2011Updated 14 years ago
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Dec 22, 2018Updated 7 years ago
- Simple reddit like voting system without usage off GenericForeignKeys. Built for linkfloyd project.☆30Jul 21, 2020Updated 5 years ago
- ☆37Jan 17, 2024Updated 2 years ago
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness☆11Updated this week
- 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.
- ☆56Apr 2, 2026Updated last month
- An efficient, lazy suffix tree implementation☆13Dec 10, 2020Updated 5 years ago
- The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.☆62Mar 25, 2026Updated last month
- A framework for implementing and certifying impure computations in Coq☆53Jan 16, 2024Updated 2 years ago
- Syntax highlighting for F* in Atom Editor☆11Oct 4, 2021Updated 4 years ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- ☆12Sep 5, 2022Updated 3 years ago
- PANORAMIX repo☆20Dec 10, 2022Updated 3 years ago
- Αποθετήριο καταγραφής και παρουσίασης έργων ανοιχτής σχεδίασης για νοσοκομειακό εξοπλισμό☆14Jun 4, 2021Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- FNV hash collision generator☆12Mar 2, 2017Updated 9 years ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆12Sep 3, 2020Updated 5 years ago
- Python bindings for general purpose elliptic curve point operations☆15May 12, 2019Updated 6 years ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Mar 26, 2026Updated last month
- A php markdown-based single page cms.☆10Mar 31, 2017Updated 9 years ago
- Compositional CompCert☆15Jan 9, 2019Updated 7 years ago
- Postfix helper for mandatory TLS☆18Jan 20, 2022Updated 4 years ago
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Mar 31, 2017Updated 9 years ago
- Toy demo of lexing/parsing in Coq☆12Jul 3, 2019Updated 6 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.
- Analyze standard numbers like ARK, DOI, EAN, GTIN, IBAN, ISAN, ISBN, ISMN, ISNI, ISSN, ISTC, ISWC, ORCID, PPN, SICI, UPC, ZDB with Elasti…☆24Jul 5, 2016Updated 9 years ago
- Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors☆20Sep 23, 2019Updated 6 years ago
- Some extra functions to work with modular arithmetics using native JS implementation of BigInt.☆23Jul 18, 2023Updated 2 years ago
- Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.☆10Apr 20, 2026Updated 2 weeks ago
- A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox☆14Updated this week
- My NixOS configuration and custom Nix derivations.☆12Nov 2, 2020Updated 5 years ago
- Type level algebraic "proofs" using lens combinators☆19Jul 26, 2019Updated 6 years ago