oralang/ora

A cosa serve

oralang/ora è un repository GitHub pubblico, principalmente in Zig. L'ultimo rilevamento indica 29 stelle e 1 fork. Temi: ethereum, evm, formal verification, language, smart contract. Leggi documentazione, licenza e issue attuali prima dell'uso.

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

Repository GitHub

Stelle

29

Stelle ottenute · 7 giorni

—

Fork

1

Linguaggio principale

Zig

Licenza del repository

GPL-3.0

Ultimo invio di codice

15 ott 2026

La popolarità usa le stelle. La crescita settimanale richiede una settimana di rilevazioni locali. È la nostra raccolta, non la classifica ufficiale GitHub.

Fonti e aggiornamenti

Le schede importate citano le fonti. Una scheda aiuta a scoprire, non è una raccomandazione.