h5i-dev / h5i

An Axum-based Rust web framework for building and verifying web apps with Lean 4, featuring optional GPU acceleration and integrated development infrastructure for red-teaming and CI/CD.

apache / iggy

Apache Iggy: Hyper-Efficient Message Streaming at Laser Speed

richiemcilroy / Tov

A TypeScript-shaped language built for coding agents. It compiles to small, fast native binaries.

EeroEternal / xlb

Streaming-first load balancer for AI inference gateways