oralang/ora

Что делает

oralang/ora — публичный репозиторий GitHub, основной язык — Zig. Последняя запись сообщает 29 звёзд и 1 форков. Темы: ethereum, evm, formal verification, language, смарт-контракты. Перед использованием прочитай документацию, лицензию и текущие issues.

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

Репозитории GitHub

Звёзды

29

Прирост звёзд · 7 дней

—

Форки

1

Основной язык

Zig

Лицензия репозитория

GPL-3.0

Последняя отправка кода

15 окт. 2026 г.

Популярность основана на звёздах. Рост за неделю появится после недели локальных снимков. Это наша подборка, а не официальный рейтинг GitHub.

Источники и актуальность

Импортированные записи ссылаются на источники. Это помощь в поиске, а не рекомендация.