leo

GitHub

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

4,811 stars Rust #compiler#leo#programming-language#zero-knowledge#zksnarks
RAW Rules

No Explicit Rule Files Found

This repository does not currently contain dedicated AI agent rule files (.cursorrules, CLAUDE.md, AGENTS.md).

Read Full Technical Documentation

Explore Related Technologies & Topics

View All 9,111+ Repositories →

Discover similar high-velocity repositories, agent skills, and OpenAPI specifications across the ecosystem.

#compiler Browse compiler catalog → #leo Browse leo catalog → #programming-language Browse programming-language catalog → #zero-knowledge Browse zero-knowledge catalog → #zksnarks Browse zksnarks catalog → 🧠 Agent Skills Prompt & rule files → ⚡ MCP Servers Model Context Protocol → 🔌 OpenAPI Specs REST & Swagger schemas → ⚖️ Benchmark YakaAI vs Alternatives →