oralang/ora

À quoi ça sert

oralang/ora est un dépôt GitHub public, principalement en Zig. Le dernier relevé indique 29 étoiles et 1 forks. Sujets : ethereum, evm, formal verification, language, smart contracts. Lis la documentation, la licence et les issues actuelles avant utilisation.

Smart contract language with formal verification. Built with Zig for safety and performance

Dépôts GitHub

Étoiles

29

Étoiles gagnées · 7 jours

—

Forks

1

Langage principal

Zig

Licence du dépôt

GPL-3.0

Dernier envoi de code

15 oct. 2026

La popularité vient des étoiles. La croissance hebdomadaire nécessite une semaine de relevés locaux. C'est notre collection, pas le classement officiel de GitHub.

Sources et actualité

Les fiches importées citent leurs sources. Une fiche aide à découvrir, sans recommander le service.