搜索结果：cti（84 个）
按分类缩小范围
quartz
综合 67
开箱即用且高效的静态网站生成器，可将 Markdown 转化为完整网站。
i-have-adhd
综合 66
防止编码 Agent 废话掩盖核心答案的技能扩展，提供 ADHD 友好的精炼输出。
zeppelin
综合 66
基于 Web 的数据分析笔记本，支持 SQL、Scala 等语言进行交互式分析与协同办公。
metrics
综合 65
GitHub 统计信息图生成器，内置 30+ 插件和 300+ 选项，支持导出 SVG、Markdown、PDF 或 JSON。
yazi
综合 65
基于 Rust 和异步 I/O 构建的极速终端文件管理器。
notesnook
综合 65
完全开源且端到端加密的笔记工具，可作为 Evernote 的替代品。
oh-my-bash
综合 65
社区驱动的 Bash 配置管理框架，支持自动更新。
mleap
综合 65
MLeap 专注于简化机器学习流水线的生产部署。它支持将 Spark 或 Scikit-learn 训练的流水线导出为便携格式（JSON/Protobuf），并直接在轻量级 JVM 运行时上执行，完全脱离对 Spark、sklearn 等重型环境的依赖，实现高性能、跨平台的快速推理。
PyMuPDF
综合 64
高性能 Python 库，用于 PDF 等文档的数据提取、分析、转换及处理操作。
bloop
综合 63
Bloop 是专为 Scala 设计的构建服务器与命令行工具，旨在解决 Scala 编译慢、开发流程繁琐的问题。它能与各类编辑器及构建工具集成，提供开箱即用的支持，帮助开发者在任何工作流中快速完成 Scala 代码的编译、测试与运行。
Zettlr
综合 63
面向学术研究与写作的一站式发布工作台。
fluentui
综合 63
用于构建 Web 应用的实用工具与 React / Web Components 组件库。
liteparse
综合 62
快速、实用的开源文档解析工具。
gallery-dl
综合 61
从多个图床网站下载图库与图集的命令行工具。
izumi
综合 61
Izumi 是提升 Scala 开发效率的独立工具与框架生态。它主要解决纯函数式 Scala（支持 Cats Effect、ZIO 等）在工程化中的繁琐痛点，核心提供编译期安全的依赖注入（distage）、跨测试共享资源的测试套件、基于字符串插值的结构化日志（LogStage）以及 Docker 测试集成等实用功能。
pdfplumber
综合 61
深入解析 PDF 中的字符、矩形、线条等详细信息，并轻松提取文本与表格。
espanso
综合 61
基于 Rust 开发的隐私优先、跨平台文本扩展工具。
pdf-inspector
综合 61
高性能 Rust 库，用于 PDF 检测、分类与文本提取，可智能区分扫描版与文本版 PDF 以辅助路由。
flow
综合 60
为 JavaScript 提供静态类型检查功能，助力提升代码质量与开发效率。
agda
综合 60
Agda 是一个基于依值类型（Dependent Types）的编程语言兼交互式定理证明器，使用 Haskell 开发。它主要用于类型理论研究和高可靠性程序验证，支持开发者编写严谨的程序代码，并利用其强大的类型系统进行数学定理的形式化交互证明、类型检查与编译。