# hibanaworks/hibana

> Hibana is a no_std runtime enforcement kernel for Rust that executes a finite multiparty protocol derived from a single global choreography, projecting it into compact per-role programs. It checks every send, receive, or route step against the projected program before committing progress.

- Magnitude: 2.4 out of 10 — Steady
- Stars: 56 total · +10 stars measured 2026-10-12, 15:02–17:28 UTC, ≈ 13 by evening
- Star trust: star growth looks organic
- Category: Developer tools · Language: SMT · License: Apache-2.0 · Created: 2025-09-04 · Last push: 2026-10-11
- GitHub: https://github.com/hibanaworks/hibana · Homepage: https://hibanaworks.dev · Page: https://gitnova.dev/en/r/hibanaworks/hibana

## Useful for

- Enforce a multiparty protocol at each endpoint without a network stack
- Run the same choreography on hosted and embedded targets with caller-provided storage
- Verify that a role implementation only performs steps allowed by the projected program

## Why it’s here

- Star-counter measurements on 2026-10-12 (UTC), 15:02–17:28: 46 → 56 stars (+10). This is the change over that interval.
- Estimated end-of-day forecast: about +13 stars, using observed gains and the previous day.
- Hacker News: “Choreographic Programming in Rust” — 44 points, 1 day ago.

## Star trust

Star growth looks organic.

Star-trust labels are heuristics based on the repository’s behavior, not a check of every stargazer.

## Numbers

- Forks: 2
- Issues and pull requests: 5
- Watchers: 1
- Average over the last week: 2 per day
- Usual pace: 0 per day
- Stars in the last hour (measured): 3

## Stars per day, last 30 days (oldest → newest, today is partial)

2026-09-13 … 2026-10-12: 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 10

## Hacker News

- Choreographic Programming in Rust — 44 points, 30 comments: https://news.ycombinator.com/item?id=50042936

## Spotted in now

- Spotted on Hacker News

## More in this category

1. **wheresryan22/anatomy** — 8.6 · Breakout · Developer tools · JavaScript · +2,249 stars measured 2026-10-12, 00:13–17:22 UTC, ≈ 3,106 by evening
   A Claude Code skill that turns a technical idea into a detailed, interactive isometric figure of a real machine — SVG with optional WebGL shaders and 3D, for docs, articles and landing pages.
   Full card: https://gitnova.dev/en/r/wheresryan22/anatomy.md
2. **cathrynlavery/diagram-design** — 6.3 · Breakout · Developer tools · HTML · +1,849 stars measured 2026-10-12, 00:13–17:22 UTC, ≈ 2,467 by evening
   A set of 39 editorial diagram types for Claude Code, Codex and other agents: self-contained HTML + SVG with no build step or JavaScript. Lets an agent draw architecture, flow and analytics diagrams in a consistent brand style.
   Full card: https://gitnova.dev/en/r/cathrynlavery/diagram-design.md
3. **anmolkapil/plexo** — 6.2 · Breakout · Developer tools · TypeScript · +1,208 stars measured 2026-10-12, 00:17–17:22 UTC, ≈ 1,542 by evening
   Download manager for Windows and macOS that speeds up downloads by splitting files into 8 MB chunks fetched in parallel across multiple network interfaces (Wi-Fi, Ethernet, USB tethering).
   Full card: https://gitnova.dev/en/r/anmolkapil/plexo.md
4. **LcodeCoder/CG-Claude** — 5.8 · Early signal · Developer tools · TypeScript · +0 stars measured 2026-10-12, 00:15–17:23 UTC, ≈ 16 by evening
   A local workbench for inspecting and configuring the Claude Code environment: 31 environment checks, a setup wizard, project scanning, field fixes and snapshot restore. Available as an Electron desktop app and in the browser.
   Full card: https://gitnova.dev/en/r/LcodeCoder/CG-Claude.md
5. **gholtzap/lintapple** — 5.8 · Early signal · Developer tools · JavaScript · +262 stars measured 2026-10-12, 00:15–17:23 UTC, ≈ 355 by evening
   A UI policy linter that checks typography, contrast, control sizes, and alignment rules so AI-generated interfaces cannot violate the configured constraints.
   Full card: https://gitnova.dev/en/r/gholtzap/lintapple.md

---

Magnitude (0–10) measures how fast and how unusually interest in a repository is growing right now. It is not a quality score.
Days are UTC. “So far today” is a fact; “expected by the end of the day” is a forecast.
Summaries and use cases are written by an LLM (DeepSeek V4.1 Flash) from the README and may be inaccurate: verify specific claims (benchmarks, speed, hardware) in the repository itself.
Data as of 2026-10-12 17:36 UTC, updated every 30 minutes.