raphamorim / rio

A hardware-accelerated GPU terminal emulator focusing to run in desktops and browsers.

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.

chelsea0x3b / cudarc

Safe rust wrapper around CUDA toolkit