clockworklabs / SpacetimeDB

Development at the speed of light

piperhex / remoteai

remoteai & codex-switch & codex-gui & opencode & opencodex

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.