GitHub intelligence
ProvableHQ/
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Observed OCT 8, 2026 · 00:08 UTC
Facts
- Language
- Rust
- License
- gpl-3.0
- Created
- MAR 10, 2020
- Last push
- Last release
- Website
- leo-lang.org/ ↗
- GitHub
- ProvableHQ/leo ↗
Measurements
- Stars
- 4,822
- Forks
- 717
- 7D change
- Collectingfrom OCT 9
- 30D change
- Collectingfrom NOV 1
- 90D change
- Collectingfrom DEC 31
- Velocity
- Collectingfrom OCT 16
- Acceleration
- Collectingfrom OCT 23
- Trajectory
- Collectingfrom OCT 16
- Trending percentile
- Collectingfrom OCT 16
Categories
Technologies
Not linked to any curated technology.
Star history
Daily history began OCT 2. The chart appears after 7 days. 1 observed day shown.
Observed days (1)
| Day | Stars | Forks |
|---|---|---|
| OCT 2 | 4,822 | 717 |