Topic · leo

leo

Tracked open-source repos tagged leo, sorted by stars.

Repos

1

Total stars

4,821

Avg. stars

4,821

Share

0.00%

Topics that frequently appear alongside leo on the same repo.

Recent risers

Repos created in the last 90 days, tagged leo.

No new repos tagged with this topic in the last 90 days.

#1
leo ↗@ProvableHQRust
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
★ 4,821+0Star change over the last 7 days

← Back to topics