leo
by ProvableHQ
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
AI summary
Private app builder
A programming language that enables the creation of privately verifiable applications using formally verified circuits
- stars
- 4.8K
- forks
- 661
- watching
- 36
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
rust-lang/rustup6.2K
Compiler manager
A tool that installs and manages multiple versions of the Rust compiler on different platforms.
Code verifier
Tool that verifies Rust code by translating it into Coq's proof system to ensure no bugs or vulnerabilities exist
Rust cheat sheet
A comprehensive reference guide for the Rust programming language
Rust API project
Supplementary codebase for an API development book written in Rust
protobuf compiler
A Rust implementation of Protocol Buffers for generating idiomatic and readable code from proto2 and proto3 files.
Programmable language
A Rust-based language for creating provable programs with computational integrity
Software development framework
Empowering software developers to build reliable and efficient software using a fast and memory-efficient language with strong type safety and comprehensive tooling.
Cryptography library
A collection of cryptographic primitives implemented in Rust from scratch to understand everything from first principles.
Crypto toolkit
A JavaScript implementation of TLS and cryptographic tools for building network-heavy web applications
rustls/rustls6.3K
TLS library
A modern, platform-independent TLS library written in Rust
Data optimization framework
Optimizes data-intensive applications by expressing core computations in a common intermediate representation and optimizing across multiple libraries and frameworks.
rhaiscript/rhai3.9K
Scripting engine
A scripting language and evaluation engine designed to be embedded in Rust applications.
Algorithm library
A collection of classic data structures and algorithms in Rust, showcasing the design and implementation for learning and reference purposes.
Performance analyzer
A library that provides a powerful and statistically rigorous tool for measuring code performance and detecting regressions
Board demos
Bare-metal examples programs for a specific microcontroller board
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions leo.
