ProvableHQ / leo

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

ProvableHQ
ProvableHQ
Date Created 2020-03-10 (4 years ago)
Commits 7,401 (last one 12 days ago)
Stargazers 4,813 (2 this week)
Watchers 37 (0 this week)
Forks 664
License gpl-3.0
Ranking

RepositoryStats indexes 622,366 repositories, of these ProvableHQ/leo is ranked #10,168 (98th percentile) for total stargazers, and #58,942 for total watchers. Github reports the primary language for this repository as Rust, for repositories using this language it is ranked #313/18,090.

ProvableHQ/leo is also tagged with popular topics, for these it's ranked: compiler (#61/1080),  programming-language (#40/745),  zero-knowledge (#4/166)

Other Information

ProvableHQ/leo has 13 open pull requests on Github, 1,672 pull requests have been merged over the lifetime of the repository.

Github issues are enabled, there are 582 open issues and 20,649 closed issues.

There have been 45 releases, the latest one was published on 2024-12-17 (2 months ago) with the name v2.4.1.

Homepage URL: https://leo-lang.org/

Star History

Github stargazers over time

5k5k4.5k4.5k4k4k3.5k3.5k3k3k2.5k2.5k2k2k1.5k1.5k1k1k50050000Jul '20Jul '2020212021Jul '21Jul '2120222022Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Watcher History

Github watchers over time, collection started in '23

383836363434323230302828262624242222202020232023Feb '23Feb '23Apr '23Apr '23Jun '23Jun '23Aug '23Aug '23Oct '23Oct '23Dec '23Dec '23Feb '24Feb '24Apr '24Apr '24Jun '24Jun '24Aug '24Aug '24Oct '24Oct '24Dec '24Dec '24Feb '25Feb '25

Recent Commit History

3,694 commits on the default branch (mainnet) since jan '22

4k4k3.5k3.5k3k3k2.5k2.5k2k2k1.5k1.5k1k1k50050000Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Yearly Commits

Commits to the default branch (mainnet) per year

2k2k1.8k1.8k1.6k1.6k1.4k1.4k1.2k1.2k1k1k8008006006004004002002000020202020202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
25k25k20k20k15k15k10k10k5k5k00Jul '20Jul '2020212021Jul '21Jul '2120222022Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Languages

The primary language is Rust but there's also others...

RustRustShellShell
Opengraph Image
ProvableHQ/leo

updated: 2025-03-01 @ 01:35am, id: 246203444 / R_kgDODqzENA