richiemcilroy / Tov

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

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.