is

LakeSail的计算框架，其使命是统一批处理、流处理和计算密集型AI工作负载。

Agda是一种依赖类型编程语言/交互式定理证明器。

一个自动化服务器生命周期的应用程序

KEJILION.SH 全功能Linux管理脚本！一体化Linux管理工具！

zenoh 统一了动态数据、使用中数据、静态数据及计算任务。

安卓天气应用 🌦🌞☔

基于 Spring Boot 4.0 + Java 21 + Spring AI + PostgreSQL + pgvector + RustFS + Redis 构建，实现简历智能分析、AI模拟面试、知识库RAG检索等核心功能。项目学习门槛低，非常适合作为学习案例与简历项目。

Agent Skills 终极指南：快速入门、资源推荐、精选技能与工具集合

Hugo 个人网站与博客主题

基于NRF52840的新一代变色龙设备使卡片模拟性能更稳定，并赋予读卡、写卡及解密功能

OpenClaw 最简洁的桌面客户端 🦞 — 一键将您的 Agent 桥接到微信、飞书、Slack 和 Discord。兼容 Claude Code、Codex 及任意 LLM。自带密钥、OAuth 认证、本地优先，支持手机端 24/7 聊天。

🚀 SQL Server自动化与实例迁移从未如此安全、快速和自由

这是 Andronix 应用后端的官方仓库 🚀。在这里你可以了解你正在安装的所有脚本 😎

用于接触密集型环境中物理AI研究和部署的全开源仿人机械臂

一份精选的 Clojure 优秀库与资源列表

一个用于视觉惯性导航研究的开源平台。

Julia交互式数据可视化与绘图

一个用于网络流量可视化与分析的现代优雅仪表盘。

AI智能体工程化工具精选清单：工具、模式、评估、记忆、MCP、权限、可观测性与编排。

Bundler的补丁级验证

雅思词汇真经、雅思语法、听力179考点、阅读538同义替换等，涵盖我的雅思备考全部资料

gem5计算机系统架构模拟器的官方代码库。

语音转文字

uhubctl - USB集线器每端口电源控制