oralang/ora

O que faz

oralang/ora é um repositório público GitHub, principalmente em Zig. O último registro informa 29 estrelas e 1 forks. Temas: ethereum, evm, formal verification, language, contratos inteligentes. Leia documentação, licença e issues atuais antes de usar.

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

Repositórios GitHub

Estrelas

29

Estrelas ganhas · 7 dias

+0

Forks

1

Linguagem principal

Zig

Licença do repositório

GPL-3.0

Último envio de código

15 de out. de 2026

A popularidade usa estrelas. O crescimento semanal precisa de uma semana de registros locais. É nossa coleção, não a lista oficial de tendências do GitHub.

Fontes e atualização

Registros importados têm links para as fontes. Um registro ajuda a descobrir, não é uma recomendação.