ProvableHQ/leo

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

Rust4,812 stars716 forksGPL-3.0

compilerleoprogramming-languagezero-knowledgezksnarks

Rankings

Daily

#14684

Weekly

#14476

Monthly

#6140

Total stars

Daily new stars

Get badge

This repository is tracked by Trending Repos. The badge upgrades automatically if it ever cracks the top 100.

Markdown

![Trending Repos](https://trending-repos.com/badge/ProvableHQ/leo.svg)

HTML

<img src="https://trending-repos.com/badge/ProvableHQ/leo.svg" alt="Trending Repos" />

Raw URL

https://trending-repos.com/badge/ProvableHQ/leo.svg