项目分类
按分类浏览项目，点击分类切换下方列表。
全部
AI 应用与 AI Agent · 631
AI 模型与开发框架 · 698
自动化与工作流 · 308
数据分析与数据处理 · 794
网站与 SaaS 工具 · 322
效率与办公工具 · 344
图像、视频与音频 · 410
内容创作与媒体工具 · 285
电商与营销工具 · 100
游戏与娱乐 · 203
网络与基础设施 · 674
开发者工具 · 1626
安全与隐私工具 · 200
教育与学习 · 297
其他 · 2079
最新收录 共 6082 个项目 · 第 255/305 页
tamarin-prover
综合 42
Tamarin prover 是一个用 Haskell 开发的安全协议验证工具。它主要解决网络和安全协议的安全性分析与形式化验证问题。核心功能包括支持复杂协议的模型构建与分析、提供图形化输出展示、内置大量协议案例，并配套 Tree-sitter 语法及常见编辑器的语法高亮支持。
scope.nvim
综合 42
通过增强的 Tab 作用域管理，革新你的 Neovim Tab 工作流。
cc-switch （AI编程工具桌面管理助手）
综合 41
Claude Code、Codex、OpenCode、DeepSeek Harness 等的跨平台桌面助手。
codex （终端轻量级代码助手）
综合 41
在终端中运行的轻量级编程 Agent。
RuView （WiFi空间感知与体征监测）
综合 41
RuView 无需摄像头画面，利用普通 WiFi 信号即可实现实时空间感知、人体存在检测以及呼吸心率等生命体征监测。
rtk （LLM开发命令Token精简代理）
综合 41
Rust 编写的零依赖 CLI 代理，可将常见开发命令的 LLM Token 消耗降低 60-90%。
openinterpreter
综合 41
适配 Kimi K3、GLM 5.3 等前沿开源/开放模型的代码编写 Agent。
warp
综合 41
一款脱胎于终端的 Agent 架构现代化开发环境。
meilisearch
综合 41
极速搜索引擎 API，为网站和应用带来基于 AI 的混合搜索能力。
herdr
综合 41
专为编程 Agent（coding agent）打造的运行环境。
docs
综合 41
docker-library 中 Docker 官方镜像的文档仓库。
SynapseML
综合 41
SynapseML（原 MMLSpark）是基于 Apache Spark 的分布式机器学习库，主要解决大规模数据下构建 ML 流水线复杂度高的问题。它无缝兼容 SparkML API，支持在弹性集群上分布式训练，覆盖文本分析、计算机视觉、异常检测及深度学习等任务，并支持 Python、Scala 等多语言调用。
render-markdown.nvim
综合 41
用于改善 Neovim 中 Markdown 浏览与渲染效果的插件。
raspotify
综合 41
开箱即用、省心易配的 Spotify Connect 客户端。
rime-wanxiang
综合 41
万象拼音输入法方案，以优质词库数据优化候选词体验。
docs
综合 41
Knative 各组件的官方用户文档仓库。
oh-my-rime
综合 41
Mintimate 打造的 Rime 输入法简易配置模板。
wirehole
综合 41
结合 WireGuard、Pi-hole 和 Unbound 的 docker-compose 方案，助你快速搭建隧道服务。
zinit
综合 41
灵活且高效的 ZSH 插件管理器。
linux-cachyos
综合 41
基于多种调度器并包含多项性能优化的 Arch Linux 内核。