leo
Private app builder
A programming language that enables the creation of privately verifiable applications using formally verified circuits
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
5k stars
36 watching
660 forks
Language: Rust
last commit: 2 days ago
Linked from 2 awesome lists
compilerleoprogramming-languagezero-knowledgezksnarks
ventali/awesome-zk
learn-anything/programming-languagesRelated projects:
| Repository | Description | Stars |
|---|---|---|
 rust-lang/rustup | A tool that installs and manages multiple versions of the Rust compiler on different platforms. | 6,182 |
 formal-land/coq-of-rust | Tool that verifies Rust code by translating it into Coq's proof system to ensure no bugs or vulnerabilities exist | 421 |
 ralfbiedert/cheats.rs | A comprehensive reference guide for the Rust programming language | 4,147 |
 lukemathwalker/zero-to-production | Supplementary codebase for an API development book written in Rust | 5,839 |
 tokio-rs/prost | A Rust implementation of Protocol Buffers for generating idiomatic and readable code from proto2 and proto3 files. | 3,937 |
 starkware-libs/cairo | A Rust-based language for creating provable programs that can perform general computation | 1,599 |
| rust-lang/rust | The Rust project provides tools and infrastructure to build efficient, reliable software | 98,756 |
 pluto/ronkathon | A collection of cryptographic primitives implemented in Rust from scratch to understand everything from first principles. | 190 |
 digitalbazaar/forge | A JavaScript implementation of TLS and cryptographic tools for building network-heavy web applications | 5,081 |
 rustls/rustls | A modern, platform-independent TLS library written in Rust | 6,214 |
 weld-project/weld | Optimizes data-intensive applications by expressing core computations in a common intermediate representation and optimizing across multiple libraries and frameworks. | 2,995 |
 rhaiscript/rhai | A scripting language and evaluation engine designed to be embedded in Rust applications. | 3,831 |
 ebtech/rust-algorithms | A collection of classic data structures and algorithms in Rust, showcasing the design and implementation for learning and reference purposes. | 3,770 |
 bheisler/criterion.rs | A library that provides a powerful and statistically rigorous tool for measuring code performance and detecting regressions | 4,616 |
 jlogan03/nucleo-h723zg | Bare-metal examples programs for a specific microcontroller board | 1 |