โ ์์ด์ ํธ ๋ง์ผํ๋ ์ด์ค
์คํ์์ค ํ๋ก์ ํธ
h5i
h5i-dev ์ ์
Unified Rust framework for building, verifying, and testing web apps. Kernel-based architecture for Lean 4 verification and GPU acceleration. Built-in red-teaming tools for automated vulnerability detection.
์๋๋ฆฌ์ค:๐งฐ์์ด์ ํธ ํ๋ ์์ํฌ
โ์์ง ํ๊ฐ ์์
๋ด ํ๊ฐ
๋ก๊ทธ์ธํ๋ฉด ํ๊ฐํ๊ฑฐ๋ ์ ์ฅํ ์ ์์ต๋๋ค
๋ณ 792๊ฐ์
ํ ํธ์คํ
์คํฌ
์คํ์์ค ํ๋ก์ ํธ์ ๋๋ค โ ์ฝ๋๋ฅผ ์ดํด๋ณด๊ณ GitHub์์ ์ ํ ํธ์คํ ํ์ธ์.