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:
- Deep SpatioTemporal Inference Network (DeSTIN) for vision processing☆34Sep 10, 2016Updated 9 years ago
- ElGamal encryption and related zero-knowledge proofs☆17Updated this week
- Aplicación de visualización de presupuestos del Gobierno de Aragón☆24Jan 14, 2026Updated 5 months ago
- Small Prolog☆15Dec 8, 2016Updated 9 years ago
- Rust crate for parsing/formatting Python literals☆18Apr 7, 2021Updated 5 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.
- ☆11Nov 27, 2024Updated last year
- Grecka is a python script to convert Greek to Greeklish based on ELOT 743☆12Aug 4, 2018Updated 7 years ago
- Spacemacs layer for fstar (wrapper for fstar-mode.el)☆11Jul 13, 2020Updated 5 years ago
- Programatically Convert Microsoft Word Documents to Image - PHP☆19Jul 6, 2016Updated 9 years ago
- Python bindings for a minimal subset of libsnark☆11May 22, 2022Updated 4 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
- ☆38Jan 17, 2024Updated 2 years ago
- ☆57Jun 15, 2026Updated 2 weeks 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.
- An efficient, lazy suffix tree implementation☆13Dec 10, 2020Updated 5 years ago
- 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
- ☆12Sep 5, 2022Updated 3 years ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 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
- Visual is a Javascript library for data visualization developed by the Statistical Institute of Catalonia (Idescat). It is based on popul…☆63May 19, 2026Updated last month
- 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.
- Dependently typed lambda calculus - A Simple Proof Assistant☆12Sep 3, 2020Updated 5 years ago
- UI components for the Service Map of the Helsinki Metropolitan Area☆32Jan 7, 2023Updated 3 years ago
- Compositional CompCert☆15Jan 9, 2019Updated 7 years ago
- Flush system metrics to statsd☆26Jan 8, 2026Updated 5 months ago
- A github WebHook that emails detailed diffs of your commits.☆26Oct 13, 2018Updated 7 years ago
- Toy demo of lexing/parsing in Coq☆12Jul 3, 2019Updated 7 years ago
- 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 10 years ago
- ☆14Nov 23, 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.☆10Jun 21, 2026Updated 2 weeks ago
- A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox☆14May 1, 2026Updated 2 months ago
- 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
- Binary logical relations library for the Coq proof assistant☆23Mar 26, 2026Updated 3 months ago
- All the code I've ever written in Ltac2☆11Jan 19, 2021Updated 5 years ago
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆55Oct 2, 2025Updated 9 months ago