GitNova

Сейсмограф GitHub — находки и рост интереса

hibanaworks/hibana

Инструменты разработчикаSMT
Всего звёзд
54
Сегодня · UTC
+8с 15:02 UTC
Открыть на GitHub Мои находки →
Другие действия

Choreography-Derived Runtime Enforcement for Rust

Сохрани в «Мои находки», чтобы следить за релизами и ростом звёзд. Сохраняется в этом браузере.

О проекте

Hibana — это no_std ядро runtime-проверки для Rust, исполняющее конечный многосторонний протокол из одной глобальной хореографии, проецируя её в компактные программы для каждой роли. Каждый шаг send, recv или route сверяется с проекцией до фиксации прогресса.

Чем пригодится
  • Проверять многосторонний протокол на каждом endpoint без сетевого стека
  • Запускать одну хореографию на hosted и embedded целях с хранилищем от вызывающего кода
  • Убедиться, что реализация роли выполняет только шаги, разрешённые проекцией программы

Пересказ README моделью DeepSeek V4.1 Flash. Может ошибаться в деталях. Оригинал README →

2,2 Ровно Магнитуда из 10 — скорость роста интереса, а не оценка качества.

Рост звёзд выглядит естественно. Данные на 12 октября 2026, 16:51 UTC.

Оценка роста звёзд не подтверждает безопасность запуска.

Звёзды по дням

04815 июля 202612 октября 2026

Столбики — звёзды за день UTC; линия — скользящее среднее доступной истории. Пропуски означают отсутствие данных, а не нулевой рост. Сегодняшний столбик неполный. Красным — дни всплесков.

Почему он в тренде

  • По замерам счётчика за 2026-10-12 (UTC), 15:02–16:42: 46 → 54 звёзд (+8). Это прирост за указанный интервал.
  • Расчётный прогноз на конец суток: около +11 звёзд; учитывает наблюдаемый прирост и предыдущий день.
  • Hacker News: «Choreographic Programming in Rust» — 40 очков, 1 день назад.

Замеры роста: последние 7 полных дней

Новые звёзды за 7 дней: 2.

Замеры по дням · UTC
5 октября 2026
0
6 октября 2026
0
7 октября 2026
0
8 октября 2026
0
9 октября 2026
0
10 октября 2026
0
11 октября 2026
2

Максимальный измеренный день за последние 30 дней: 2 · 11 октября 2026. Дней с данными: 30.

Полные дни — из истории звёзд GitHub; сегодня и прогнозы исключены из сравнения. История проверена: 12 октября 2026, 16:51 UTC. Источники и ограничения замеров →

Три GitHub-находки в каждом выпуске

Что делают, почему набирают интерес и что проверить перед использованием.

Выпуски в 10:00, 16:00, 22:00 МСК.

Поделиться в X Telegram

Цифры

Всего звёзд
54
Сегодня
+8 звёзд по замерам 2026-10-12, 15:02–16:42 UTC, к вечеру ≈ 11
Форков
2
Issues и pull requests
5
Наблюдателей
1
Язык
SMT
Лицензия
Apache-2.0
Создан
4 сентября 2025
Последний коммит
11 октября 2026

Доверие к звёздам

Рост выглядит естественно: форков и обсуждений столько, сколько бывает у живых проектов, а звёзды приходят неровно, как от людей.

Это эвристики, а не приговор: судим по поведению репозитория, а не по списку звездивших.

Обсуждения на Hacker News
Где замечен
Бейдж для README

Вставьте в README — бейдж сам показывает свежую магнитуду и ведёт на эту страницу.

GitNova: 2,2
[![GitNova](https://gitnova.dev/badge/hibanaworks/hibana.svg)](https://gitnova.dev/r/hibanaworks/hibana)