al

用于高性能数组计算的嵌入式语言

A terminal workbench in pure Rust: shells, persistent sessions, SSH, coding agents. GPU-rendered on Zed's gpui, VT core from Alacritty.

Supabase 的 Flutter 集成套件，帮助开发者轻松构建安全可扩展的产品

适用于Windows、macOS和Linux的便携式ComfyUI 🔹 Pixaroma社区版 🔹

扫描连接至您的WIFI/局域网的设备，并对未知设备的接入发出警报。当"持续在线"的设备断开连接时也会发出警告。此外，该工具可检测网络服务的可用性，通过评估HTTP状态码及服务响应时间实现此功能。

面向Scala的函数式GraphQL库

用于脑磁图、脑电图和颅内脑电图分析的MATLAB工具箱

一款开源足球经理游戏

面向 Apple Silicon 的 AI 语音工具包 — 基于 MLX 和 CoreML 的 ASR、TTS、语音到语音、VAD 及说话人分离功能。

面向 Rust 程序的验证工具链

Secure MCP runtime for AI agents to operate local machines, servers, and containers with multi-device orchestration.

InternRobotics 用于构建通用导航基础模型的开源平台

VeeR EH1 core

基于.NET Core的通用模组框架，适用于任何原生X86、X64游戏

智能体技能评估与进化工具

Visual Studio测试平台是为测试资源管理器和vstest.console提供支持的运行器与引擎

📇 个人网站简易目录

DAOS存储栈（客户端库、存储引擎、控制平面）

用于确定性 AI 的行为树的 Rust 实现（现在带有 Python 绑定）

一套面向OpenClaw和NanoClaw智能体（及其变体）的完整安全技能套件。通过漂移检测、实时安全建议、自动化审计和技能完整性验证，保护您的SOUL.md等文件。全部来自一个可安装套件。

Microsoft量子开发工具包，包含Q#编程语言、资源估算器和Quantum Katas

面向学术专著（如学位论文）的LaTeX模板。该模板既适用于LaTeX初学者，也适合熟练用户。

BoltzGen模型代码仓库

一款高度可定制且真正美观的SDDM主题