Issues du dépÎt

mvanhorn/leo

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

Voir sur GitHub
Stars
 (1 étoile)
Forks
 (0 fork)
Issues indexées
 (0 issue indexée)
issues débutant ouvertes
 (0 issue débutant ouverte)
DerniĂšre indexation
18 août 2026
Dernier push GitHub
4 juin 2026
Licence
GNU General Public License v3.0
Guide de contribution
Guide de contribution
Code de conduite
Aucun code de conduite
Langage principal
Rust
MĂ©triques de merge PR
 (Aucune PR mergée en 30 j)
Labels débutant
Aucun label débutant indexé

Issues

0 issue indexée ouverte

Aucune issue indexée ouverte trouvée pour ce dépÎt.