搜索结果：v（290 个）
按分类缩小范围
OmniWM
综合 60
面向 Apple Silicon Mac 的开源平铺窗口管理器，支持 Niri 式滚动容器与类似 Hyprland 的 Dwindle 布局。
zola
综合 60
快速且内置全部功能的单二进制文件静态网站生成器。
summernote
综合 60
超级轻量、简单易用的所见即所得（WYSIWYG）富文本编辑器。
wartremover
综合 60
WartRemover 是一款灵活的 Scala 代码静态检查（Linting）工具。它主要作为编译器插件使用，基于宏（macros）等技术，帮助开发者在编译阶段排查并规范代码中的不良写法或潜在问题，提升 Scala 代码的质量与安全性。
obsidian-skills
综合 60
面向 Obsidian 的 Agent 技能库，让 Agent 支持 Obsidian CLI 以及 Markdown、JSON Canvas 等开放格式。
wikipedia-ios
综合 60
Wikipedia（维基百科）官方 iOS 客户端。
涵盖 Python、React、Git、Java 等多领域的 LinkedIn 技能评估测验参考答案合集。
flow
综合 60
为 JavaScript 提供静态类型检查功能，助力提升代码质量与开发效率。
obsidian-git
综合 60
为 Obsidian 集成 Git 版本控制，支持自动提交与同步等高级功能。
agda
综合 60
Agda 是一个基于依值类型（Dependent Types）的编程语言兼交互式定理证明器，使用 Haskell 开发。它主要用于类型理论研究和高可靠性程序验证，支持开发者编写严谨的程序代码，并利用其强大的类型系统进行数学定理的形式化交互证明、类型检查与编译。
scala-js
综合 60
Scala.js 是一个将 Scala 语言编译为 JavaScript 的编译器。它旨在让开发者能够直接使用类型安全且功能强大的 Scala 语言编写前端或全栈应用，并将其转换为标准的 JavaScript 代码，从而在浏览器或 Node.js 环境中流畅运行。
JARVIS
综合 60
微软开源的协同系统，用于将 LLM 与各类开源机器学习社区模型连接调用。
bash-it
综合 59
一个社区驱动的常用 Bash 框架。
zotero-pdf-translate
综合 59
Zotero 翻译插件，支持 PDF、EPub 等内容，集成 20 多种翻译服务。
metals
综合 59
Metals 是一个基于语言服务器协议（LSP）构建的 Scala 语言服务器。它旨在为各大代码编辑器提供丰富的 IDE 级功能支持，作为 IntelliJ IDEA 等传统 IDE 的轻量级替代方案，帮助 Scala 开发者在日常编码中获得更好的开发体验。
surrealdb
综合 59
面向实时 Web 应用、具备高扩展性与协作能力的分布式文档-图数据库。
omnivore
综合 59
开源的稍后阅读完整解决方案，专为热爱阅读的人打造。
MVPArms
综合 59
整合了主流开源项目的 Android 高度可配置 MVP 快速集成框架。
DailyNotes
综合 59
用于日常记笔记和任务追踪的应用
claude-seo
综合 59
面向 Claude Code 的全能 SEO 技能库，涵盖技术 SEO、E-E-A-T、结构化数据及反向链接等。