Inferara/inference

Что делает

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

🌀 Inference programming language

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

Звёзды

25

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

—

Форки

17

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

Rust

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

GPL-3.0

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

10 окт. 2026 г.

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

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

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