is

Phoronix Test Suite 开源、跨平台的自动化测试与基准测试软件。

一款基于SMALL模型的开源Python3工具，能够识别图像中的版面布局、表格、数学公式以及文本，并将其转换为Markdown格式。作为Mathpix的免费替代方案，它实现了视觉内容到文本表征的无缝转换，并支持80多种语言。

禁用安卓签名验证

通过网页界面100%本地化地将任意音频转录为文本，翻译并编辑字幕。由whisper模型驱动！

我是灭霸！😈 👌

一款可从YouTube下载整个播放列表、频道或单条视频的工具，并支持按需将内容转换为几乎任何您想要的格式。

一份精心整理的优秀Common Lisp框架、库及其他精彩资源清单。

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

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

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

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

安卓天气应用 🌦🌞☔

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

Hugo 个人网站与博客主题

🎈🎈🎈🎈年会抽奖程序，基于threejs与vue3的3D球体动态抽奖应用。

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

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

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

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

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

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

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

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

PingCastle - 用20%的时间达成80%的Active Directory安全评估