High-performance, distributed build, verification, and counterexample tooling for Lean 4
☆43Oct 28, 2026Updated this week
Alternatives and similar repositories for turbo-lean
Users that are interested in turbo-lean are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Compiles WebAssembly into a ZK friendly IR with infinite-registers and write-once memory.☆29Jun 16, 2026Updated 4 months ago
- ☆12Jun 5, 2025Updated last year
- C implementation of Lean consensus for post-quantum Ethereum.☆15Oct 8, 2026Updated 3 weeks ago
- ☆19Sep 12, 2026Updated last month
- ☆15Aug 6, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- trusted setup MPC tools☆12Apr 5, 2020Updated 6 years ago
- RE Rust rewrites on steroids☆41Updated this week
- Generic implementation of the Number Theoretic Transform in the context of cryptography applications☆15Aug 13, 2025Updated last year
- Engram — an open-source long-term memory engine for LLM agents: bi-temporal facts, hybrid retrieval, reproducible benchmarks.☆23Sep 10, 2026Updated last month
- verify cairo execution in Halo2☆15Sep 12, 2023Updated 3 years ago
- Implementations of sphnics minus in python and lean☆17May 11, 2026Updated 5 months ago
- elliptic curve construction tool☆17Feb 24, 2023Updated 3 years ago
- ☆19Sep 4, 2026Updated last month
- Make Codex and Claude Code sessions multiplayer from the terminal.☆20Oct 4, 2026Updated 3 weeks ago
- 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.
- Intermediate Representation (IR) for cryptographic computations☆22Sep 15, 2026Updated last month
- Plonky3 native support for p3-uni-stark and p3-batch-stark recursion... and more☆28Oct 22, 2026Updated last week
- Render Mermaid diagrams as Unicode terminal art in Neovim☆34Oct 8, 2026Updated 3 weeks ago
- A vibecoded Gantt visualizer for Linear projects☆16Jun 17, 2026Updated 4 months ago
- ssftalk: Pure-Rust, Apache-2.0 Drop-In ElevenLabs Voice API (v1) Equivalent, Full-Duplex Rooms & Audio-LLM Mechanistic Interpretability E…☆16Oct 20, 2026Updated last week
- RISC-V prover system☆55May 1, 2026Updated 5 months ago
- A ground-up, native-Rust reimplementation of the entire Lean 4 toolchain — drop-in at the binary surfaces (.olean, C ABI, LSP, CLI), dete…☆25Updated this week
- A Lean 4 implementation of the Ethereum consensus specification for the Fulu, Gloas, Heze forks.☆31Oct 19, 2026Updated last week
- SpeakUp zkVM Website☆14Jul 3, 2026Updated 3 months 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.
- Invite-based federated networking infrastructure.☆16Updated this week
- Secure peer-to-peer connectivity between dApps and wallets☆37Oct 23, 2026Updated last week
- The Zippel language for cryptographic proof systems, compiles into optimized and safe prover and verifier code.☆46Updated this week
- Brave Accounts backend☆14Oct 20, 2026Updated last week
- ☆37Jul 3, 2026Updated 3 months ago
- Noir circuit that verifies Openbanking payments☆12Jun 7, 2025Updated last year
- Give your AI your whole life. Keep your private things private. Olympus runs on your Mac or Omarchy computer and works with ChatGPT, Clau…☆16Updated this week
- Reproducible dm-verity read-only image of Huggingface models☆19Sep 8, 2026Updated last month
- Agentic GraphRAG is an open source framework that connects your documents, agent activity, and decisions in one graph. Your agents can fi…☆33Updated this week
- 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.
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆13Jul 2, 2025Updated last year
- Elliptic curve search experiments☆36Mar 6, 2023Updated 3 years ago
- Performant post-quantum client-side ZK-SNARK☆17Oct 22, 2026Updated last week
- MICE - Minimal Interaction Cross Encoders☆25Updated this week
- A privacy-hardened Unified Address light client for Zcash.☆14Dec 3, 2025Updated 10 months ago
- In this repo I implement a stark prover for learning purposes☆14May 22, 2025Updated last year
- Web browser in your terminal using Kitty graphics protocol☆12Mar 10, 2026Updated 7 months ago