☆14Nov 3, 2026Updated last week
Alternatives and similar repositories for aerie
Users that are interested in aerie are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Rust library for building and interacting with AWS Nitro enclaves.☆19Nov 1, 2026Updated last week
- The entry point for Rust projects to be run on Valida☆10Mar 14, 2025Updated last year
- Formal Solidity semantics in Lean 4 — the engine behind the Lean Semantics divergence challenge.☆30Nov 2, 2026Updated last week
- Secure and performant zkEVM compiled from evmone via zkLLVM☆16Jan 3, 2024Updated 2 years ago
- Horizontally-scalable zkSNARKs for any iterated computation☆12Feb 19, 2025Updated last year
- 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.
- Curta Challenge☆16Apr 15, 2023Updated 3 years ago
- A simple TUI to assist in diffing bodies of text☆14May 9, 2024Updated 2 years ago
- ☆11May 30, 2023Updated 3 years ago
- Proof of concept implementation of sumcheck over fields of small characteristics.☆20May 16, 2025Updated last year
- Formal Verification of the Zcash Protocol and Documentation for the Ironwood Pool☆24Updated this week
- Add text-typing animations to a Solid.js app☆14Jun 22, 2022Updated 4 years ago
- Decentralized Peer-to-Peer Consensus Delegation Platform for Algorand☆10Jul 2, 2024Updated 2 years ago
- A docker-compose template for setting up automatic TLS and SSO with caddy☆15Aug 22, 2022Updated 4 years ago
- Adds Algorand support to Metamask☆14Feb 25, 2024Updated 2 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.
- Math Library for big numbers in Puya for Algorand☆12Sep 19, 2024Updated 2 years ago
- Algorand VRF library to generate and verify VRF proofs in a web browser☆10Aug 24, 2024Updated 2 years ago
- Go to TEAL compiler☆10Aug 20, 2021Updated 5 years ago
- The Mobile first, Cpu AIR (aka zkVM), using M31 and Stwo's Max power☆58Nov 3, 2025Updated last year
- ☆13Aug 15, 2024Updated 2 years ago
- ☆31Oct 12, 2026Updated 3 weeks ago
- A TEAL debugger extension for VS Code.☆13Jul 5, 2022Updated 4 years ago
- Orange App for mining Orange☆10Jan 15, 2025Updated last year
- ☆11Jan 12, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆17Feb 3, 2024Updated 2 years ago
- Simple Implementation of TinyGPTV in super simple Zeta lego blocks☆16Nov 11, 2024Updated 2 years ago
- Language extensions for PyTEAL on Algorand☆11Feb 6, 2023Updated 3 years ago
- ☆12Feb 20, 2023Updated 3 years ago
- 🥪 Uniswap v4 hook resistant to atomic sandwich attacks.☆12Sep 25, 2024Updated 2 years ago
- Stellar Quest Python Solutions :D☆12Oct 13, 2022Updated 4 years ago
- Unofficial Algorand C++ SDK.☆15Jun 19, 2021Updated 5 years ago
- TypeScript library for integrating Algorand wallets into decentralized applications☆12Jun 15, 2024Updated 2 years ago
- Beat a formally verified Yul → EVM compiler on total gas — while its machine-checked correctness theorem still proves.☆34Oct 20, 2026Updated 3 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.
- ICICLE version for gnark integration☆13Aug 29, 2025Updated last year
- ☆11Jul 31, 2026Updated 3 months ago
- Customized Multi-subject Text-to-video Generation with Disentangled Spatial Control☆12Oct 16, 2024Updated 2 years ago
- Post-Quantum zkVM☆68Oct 13, 2026Updated 3 weeks ago
- InsightFace for TFJS☆12Sep 18, 2022Updated 4 years ago
- setTimeout as a native Promise☆12May 3, 2018Updated 8 years ago
- Adds the algorand cryptocurrency to metamask☆14May 26, 2023Updated 3 years ago
Are these results useful?