Rust library for building and interacting with AWS Nitro enclaves.
☆19Oct 19, 2026Updated last week
Alternatives and similar repositories for pontifex
Users that are interested in pontifex are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Bridging humans and agents online.☆25Oct 20, 2026Updated last week
- ☆14Oct 20, 2026Updated last week
- Herodotus Data Processor using SP1 as backend☆17Jan 27, 2026Updated 9 months ago
- ☆14May 19, 2022Updated 4 years ago
- ☆15Dec 27, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- For Solidity practice, I tried to rebuild the base ENS contracts from the EIP-137.☆21Jan 2, 2022Updated 4 years ago
- halo2-lib-eddsa☆11Feb 2, 2024Updated 2 years ago
- Simple relay of end-to-end encrypted arbitrary payloads for World ID.☆69Oct 23, 2026Updated last week
- A GKR proof system optimized for ML tasks (Community Edition)☆19Jul 8, 2026Updated 3 months ago
- An opinionated, spec-compliant, optimized version of Optimism's contracts-bedrock package.☆58May 11, 2023Updated 3 years ago
- An experimental Solidity-based web framework☆24Jan 1, 2022Updated 4 years ago
- Step by step implementation of FRI☆13Feb 9, 2025Updated last year
- Reader for ICAO 9303 electronic machine readable travel documents.☆42Feb 21, 2025Updated last year
- Breathe air☆25May 19, 2024Updated 2 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.
- ☆17Oct 16, 2026Updated 2 weeks ago
- Curve style voting escrow (ve) Uniswap v4 hook contract☆24Aug 14, 2023Updated 3 years ago
- Batteries included library to configure tracing, logs and metrics☆15Oct 5, 2026Updated 3 weeks ago
- ☆16Apr 25, 2023Updated 3 years ago
- chomp☆66Sep 2, 2026Updated last month
- ZK Theorem Proving☆10Aug 11, 2024Updated 2 years ago
- Write Zero Knowledge Circuits in Solidity☆13Nov 30, 2023Updated 2 years ago
- Secure and performant zkEVM compiled from evmone via zkLLVM☆16Jan 3, 2024Updated 2 years ago
- Formal Solidity semantics in Lean 4 — the engine behind the Lean Semantics divergence challenge.☆28Oct 22, 2026Updated last week
- 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.
- JSON-RPC Provider Registry for EVM chains☆25Sep 5, 2026Updated last month
- Modern fork of reth-libmdbx. Faster. Safer. Simpler.☆15Jun 18, 2026Updated 4 months ago
- Circom AES-GCM circuits☆35Feb 12, 2026Updated 8 months ago
- ☆10May 18, 2023Updated 3 years ago
- ☆16Jun 25, 2026Updated 4 months ago
- 🎛 Core smart contracts of Uniswap V2☆16Oct 1, 2024Updated 2 years ago
- Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.☆18Nov 29, 2021Updated 4 years ago
- Example repository for TokenMaster Token Deployment, Oracles and Buy, Sell, and Spend Hooks.☆18May 13, 2025Updated last year
- Modern, Opinionated Multicall Library☆23Feb 27, 2022Updated 4 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.
- client side proving☆40Mar 12, 2025Updated last year
- zkSnark circuit compiler☆13Oct 21, 2026Updated last week
- Hackathon project for Snarky workshop.☆12Jun 21, 2019Updated 7 years ago
- Playdate Examples☆12May 1, 2023Updated 3 years ago
- Curta Challenge☆16Apr 15, 2023Updated 3 years ago
- ☆19Sep 4, 2026Updated last month
- World Chain monorepo☆116Oct 22, 2026Updated last week