☆13Oct 20, 2026Updated this 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:
- Formal Solidity semantics in Lean 4 — the engine behind the Lean Semantics divergence challenge.☆25Updated this week
- Rust library for building and interacting with AWS Nitro enclaves.☆19Updated this week
- The entry point for Rust projects to be run on Valida☆10Mar 14, 2025Updated last year
- Formal Verification of the Zcash Protocol and Documentation for the Ironwood Pool☆22Oct 14, 2026Updated last week
- Beat a formally verified Yul → EVM compiler on total gas — while its machine-checked correctness theorem still proves.☆32Sep 30, 2026Updated 3 weeks 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.
- ☆26Oct 12, 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
- Curta Challenge☆16Apr 15, 2023Updated 3 years ago
- A simple TUI to assist in diffing bodies of text☆14May 9, 2024Updated 2 years ago
- ☆27Sep 8, 2026Updated last month
- Proof of concept implementation of sumcheck over fields of small characteristics.☆20May 16, 2025Updated last year
- ☆27Oct 12, 2026Updated last week
- ☆17Feb 3, 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.
- Everyone be self-snitching these days. Here's a tool that makes gloat-based OSINT easier to find.☆14Jun 7, 2023Updated 3 years ago
- Fusion: highly aggregatable digital signatures using post-quantum lattice cryptography. `pip install fusion-cryptography`☆11Jul 5, 2023Updated 3 years ago
- ☆13Aug 15, 2024Updated 2 years ago
- An external lean checker with a proof of consistency☆140Updated this week
- Real-time drone swarm autonomy simulation using Jev for fast System 1 reflex decisions and collision avoidance, with optional System 2 re…☆23Sep 26, 2026Updated 3 weeks ago
- xllama.cpp — Optimized LLM Inference for NVidia Tesla V100-SXM2-32GB☆17Apr 29, 2026Updated 5 months ago
- An Automatic Tool to Search for Full Impossible-Differential, Zero-Correlation and Integral Attacks☆13Nov 12, 2024Updated last year
- Mikan 🍊: The ZK Friendly DA Layer for Bitcoin L2s☆26Nov 24, 2025Updated 10 months ago
- The Mobile first, Cpu AIR (aka zkVM), using M31 and Stwo's Max power☆58Nov 3, 2025Updated 11 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Cardano mainchain data on BigQuery☆11Aug 3, 2023Updated 3 years ago
- Desktop configuration manager for GSD-Pi preferences — Tauri + React GUI for ~/.gsd/preferences.md, with skills, agents, and keychain-bac…☆20Aug 30, 2026Updated last month
- Implementation of the paper: "Audio Mamba: Bidirectional State Space Model for Audio Representation Learning" in pytorch☆15Updated this week
- Universal Wallet for Ethereum☆10Jan 13, 2025Updated last year
- Tama is a developer tool for building formally verified Ethereum smart contracts in Verity☆25Sep 15, 2026Updated last month
- 🥪 Uniswap v4 hook resistant to atomic sandwich attacks.☆12Sep 25, 2024Updated 2 years ago
- Proof-of-concept ESP32 Cashu wallet with Find My transport and a host receiver☆23Sep 30, 2026Updated 3 weeks ago
- A high-performance, lattice-based polynomial commitment scheme with transparent setup and post-quantum security.☆27Updated this week
- Simple Implementation of TinyGPTV in super simple Zeta lego blocks☆16Nov 11, 2024Updated last year
- 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.
- Customized Multi-subject Text-to-video Generation with Disentangled Spatial Control☆12Oct 16, 2024Updated 2 years ago
- Post-Quantum zkVM☆68Oct 13, 2026Updated last week
- ☆94Sep 13, 2026Updated last month
- Reduce LLM word slop. Use ASD-STE100 Simplified Technical English.☆33Jul 31, 2026Updated 2 months ago
- Opinionated build tool for TypeScript libraries.☆61Jul 18, 2026Updated 3 months ago
- MosaicMem in Rust - Hybrid Spatial Memory for Video World Models☆19Mar 26, 2026Updated 6 months ago
- Rust implementation of the current leanSig proposal.☆49Apr 29, 2026Updated 5 months ago