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.

dyndynjyxa / aio-coding-hub

一个All In One的本地AI工具, 支持Win/Mac/Linux

Zhouchengjian-user / product-manager-workbench

产品经理工作台 · 周承健定制开发 | 面向产品经理的 AI 桌面工作台，支持项目协作与模型对比，基于 AionUi / AionCore

hakaioffsec / lyra

An LLVM IR Obfuscator for Rust