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
661 forks
Language: Rust
last commit: 6 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,213 |
 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 | 437 |
 ralfbiedert/cheats.rs | A comprehensive reference guide for the Rust programming language | 4,177 |
 lukemathwalker/zero-to-production | Supplementary codebase for an API development book written in Rust | 5,874 |
 tokio-rs/prost | A Rust implementation of Protocol Buffers for generating idiomatic and readable code from proto2 and proto3 files. | 4,001 |
 starkware-libs/cairo | A Rust-based language for creating provable programs with computational integrity | 1,630 |
| rust-lang/rust | Empowering software developers to build reliable and efficient software using a fast and memory-efficient language with strong type safety and comprehensive tooling. | 99,490 |
 pluto/ronkathon | A collection of cryptographic primitives implemented in Rust from scratch to understand everything from first principles. | 192 |
 digitalbazaar/forge | A JavaScript implementation of TLS and cryptographic tools for building network-heavy web applications | 5,099 |
 rustls/rustls | A modern, platform-independent TLS library written in Rust | 6,315 |
 weld-project/weld | Optimizes data-intensive applications by expressing core computations in a common intermediate representation and optimizing across multiple libraries and frameworks. | 2,996 |
 rhaiscript/rhai | A scripting language and evaluation engine designed to be embedded in Rust applications. | 3,898 |
 ebtech/rust-algorithms | A collection of classic data structures and algorithms in Rust, showcasing the design and implementation for learning and reference purposes. | 3,778 |
 bheisler/criterion.rs | A library that provides a powerful and statistically rigorous tool for measuring code performance and detecting regressions | 4,692 |
 jlogan03/nucleo-h723zg | Bare-metal examples programs for a specific microcontroller board | 1 |