搜索结果：c（417 个）
按分类缩小范围
chatmcp
综合 60
ChatMCP 是一款基于 Dart 开发的跨平台 AI 客户端，解决了在不同设备上统一调用模型上下文协议（MCP）的需求。核心支持桌面端、移动端与 Web 端，提供 MCP 工具调用、局域网数据同步，以及思考模式、图像生成、Artifacts、LaTeX 和 Mermaid 图表渲染等功能。
summernote
综合 60
超级轻量、简单易用的所见即所得（WYSIWYG）富文本编辑器。
dootask
综合 60
开源在线项目任务管理工具，集文档协作、思维导图、流程图、IM 及文件管理于一体，消息支持非对称加密。
wartremover
综合 60
WartRemover 是一款灵活的 Scala 代码静态检查（Linting）工具。它主要作为编译器插件使用，基于宏（macros）等技术，帮助开发者在编译阶段排查并规范代码中的不良写法或潜在问题，提升 Scala 代码的质量与安全性。
obsidian-skills
综合 60
面向 Obsidian 的 Agent 技能库，让 Agent 支持 Obsidian CLI 以及 Markdown、JSON Canvas 等开放格式。
pelican
综合 60
基于 Python 开发的静态网站生成器，支持 Markdown 和 reST 语法。
zio-quill
综合 60
ZIO Quill 是专为 Scala 打造的编译期语言集成查询（LINQ）库。它解决手写 SQL 繁琐、易出错且有运行时损耗的问题。通过引用 DSL（QDSL）与简单样例类映射数据库，能在编译期直接生成 SQL/CQL 并校验合法性，兼具类型安全与接近原生驱动的高性能。
涵盖 Python、React、Git、Java 等多领域的 LinkedIn 技能评估测验参考答案合集。
flow
综合 60
为 JavaScript 提供静态类型检查功能，助力提升代码质量与开发效率。
obsidian-git
综合 60
为 Obsidian 集成 Git 版本控制，支持自动提交与同步等高级功能。
AndroidLiquidGlass
综合 60
〔中文简介暂未生成〕 Compose Multiplatform Liquid Glass effect
agda
综合 60
Agda 是一个基于依值类型（Dependent Types）的编程语言兼交互式定理证明器，使用 Haskell 开发。它主要用于类型理论研究和高可靠性程序验证，支持开发者编写严谨的程序代码，并利用其强大的类型系统进行数学定理的形式化交互证明、类型检查与编译。
giter8
综合 60
Giter8 是一个基于 Scala 开发的命令行脚手架工具。它主要解决项目初始化繁琐的问题，核心功能是直接拉取发布在 GitHub 或其他 Git 仓库中的模板，自动生成对应的项目目录与文件，常作为 sbt 插件用于快速搭建 Scala 等项目工程。
scala-js
综合 60
Scala.js 是一个将 Scala 语言编译为 JavaScript 的编译器。它旨在让开发者能够直接使用类型安全且功能强大的 Scala 语言编写前端或全栈应用，并将其转换为标准的 JavaScript 代码，从而在浏览器或 Node.js 环境中流畅运行。
naps2
综合 60
极其简单易用的文档扫描工具，支持扫描并导出为 PDF 等格式。
JARVIS
综合 60
微软开源的协同系统，用于将 LLM 与各类开源机器学习社区模型连接调用。
swag
综合 60
通过代码注释为 Go 语言自动生成 Swagger 2.0 RESTful API 文档的工具。
bash-it
综合 59
一个社区驱动的常用 Bash 框架。
scalameta
综合 59
scalameta 是一个专为 Scala 打造的元编程库。它主要解决 Scala 代码在分析、转换和生成等处理上的繁琐问题。核心功能涵盖代码解析（Parser）、语法与语义分析（SemanticDB）、代码格式化打印（Pretty-printer）及代码自动生成与转换。
zotero-pdf-translate
综合 59
Zotero 翻译插件，支持 PDF、EPub 等内容，集成 20 多种翻译服务。