Інструменти розробника й відкритий код

oralang/ora

Публічний репозиторій GitHub, переважно мовою Zig.

Імпортований запис
01 / Для чого це

Для чого це

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

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

Оригінальний опис проєкту · GitHub
02 / GITHUB

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

Зірки
29
Нові зірки · 7 днів
—
Форки
1
Основна мова
Zig
Ліцензія репозиторію
GPL-3.0
Останнє надсилання коду
15 жовт. 2026 р.

Популярність за зірками GitHub. Зростання за 7 днів потребує тижня локальних знімків. Це не офіційний рейтинг GitHub.

Джерела й актуальність

Джерела й актуальність

GitHub ↗Джерело оновлено · 15 жовт. 2026 р.

Імпортовані записи посилаються на джерела. Запис допомагає знайти, але не є рекомендацією.

Пошук у 1Bitcoin

Інструменти й посібники

Записи Хабу