Ross ROSS = Recommend OSS · open-source software intelligence for agents

Leo Programming Language

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications observed · 2026-10-16

github.com/aleo-labs-protocol/leo · homepage · Rust · GPL-3.0 (copyleft) observed · 2026-10-16

Health v2 · maintenance only

98/100

  • Activity 98
  • Release rhythm 98
  • Longevity 100
How is this computed?

round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-10-21. Adoption (stars, forks) is never an input.

  • gap_med: 4
  • age_days: 2416
  • days_rel: 19
  • days_push: 12
  • n_releases_24m: 54

Full methodology

Adoption not part of the score

4823 stars · 718 forks observed · 2026-10-16

Summary

No AI-extracted summary yet.

Member repositories

RepositoryRoleHealth v2
aleo-labs-protocol/leomain98
ProvableHQ/leo-docs-sourcedocs10

For agents

markdown · JSON · MCP: product_card(name="aleo-labs-protocol/leo")

Data as of 2026-10-19T08:05:51.212177+00:00 · Report a problem