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

Inferara/inference

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

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

Для чого це

Inferara/inference — публічний репозиторій GitHub, переважно мовою Rust. Останній збережений знімок містить такі показники: зірки — 25, форки — 17. Теми: compiler, formal specification, formal verification, programming language, безпека, Смартконтракти. Перед використанням програми прочитай документацію, ліцензію та поточні повідомлення про проблеми.

🌀 Inference programming language

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

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

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

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

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

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

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

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

Пошук у 1Bitcoin

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

Записи Хабу