oralang/ora

Para qué sirve

oralang/ora es un repositorio público GitHub, principalmente en Zig. El último registro indica 29 estrellas y 1 forks. Temas: ethereum, evm, formal verification, language, contratos inteligentes. Lee documentación, licencia e incidencias actuales antes de usarlo.

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

Repositorios GitHub

Estrellas

29

Estrellas ganadas · 7 días

+0

Forks

1

Lenguaje principal

Zig

Licencia del repositorio

GPL-3.0

Último envío de código

15 oct 2026

La popularidad se basa en estrellas. El crecimiento semanal requiere una semana de registros locales. Es nuestra colección, no la lista oficial de tendencias de GitHub.

Fuentes y actualización

Los registros importados enlazan a sus fuentes. Una ficha ayuda a descubrir, no es una recomendación.