h5i-dev/h5i
View on GitHub ↗ ★ 915 Rust
An Axum-based Rust web framework with Lean 4-verifiable application kernels that run on servers, bare-metal embedded devices, and GPUs, plus integrated security testing.
4 mentions on Hacker News by 3 people: 1 story, 3 comments · first 2026-06-04 · latest 2026-08-27
20082026
-
The repository is available at https://github.com/h5i-dev/h5i/blob/main/crates/h5i-wasm-har...
comment by syumei · 2026-08-27 -
…unfortunately, that said I saw some cool protocol initiatives similar to it recently like this one: https://github.com/h5i-dev/h5i
comment by hmokiguess · 2026-07-21 · in Jack Dorsey launches Buzz to combine team chat, AI agents and Git hosting -
…there's a larger opportunity in the agent to agent protocol over git beyond just semantic merge. https://github.com/h5i-dev/h5i has caught my attention lately and I have been meaning to explore this more, I feel like git workflows are…
comment by hmokiguess · 2026-06-14 · in Weave: Merging based on language structure and not lines -
▲ 3
Agent-to-Agent Communication via Gitstory by zatkin · 2026-06-04 · 1 comment