搜索结果：tool（51 个）

用于从 iCloud 批量下载照片的命令行工具。

Izumi 是提升 Scala 开发效率的独立工具与框架生态。它主要解决纯函数式 Scala（支持 Cats Effect、ZIO 等）在工程化中的繁琐痛点，核心提供编译期安全的依赖注入（distage）、跨测试共享资源的测试套件、基于字符串插值的结构化日志（LogStage）以及 Docker 测试集成等实用功能。

用于将 PDF 转换为线性文本的工具包，专为 LLM 训练和数据集构建设计。

基于 Rust 开发的隐私优先、跨平台文本扩展工具。

Unfiltered 是一个用于处理 HTTP 请求的 Scala 工具包。它提供请求提取器与响应组合子等核心接口，支持绑定到 Netty 或 Servlet 容器（如嵌入式 Jetty），并原生支持异步处理、文件上传、JSON 处理及 WebSocket 服务。

快速且内置全部功能的单二进制文件静态网站生成器。

WartRemover 是一款灵活的 Scala 代码静态检查（Linting）工具。它主要作为编译器插件使用，基于宏（macros）等技术，帮助开发者在编译阶段排查并规范代码中的不良写法或潜在问题，提升 Scala 代码的质量与安全性。

Giter8 是一个基于 Scala 开发的命令行脚手架工具。它主要解决项目初始化繁琐的问题，核心功能是直接拉取发布在 GitHub 或其他 Git 仓库中的模板，自动生成对应的项目目录与文件，常作为 sbt 插件用于快速搭建 Scala 等项目工程。

基于终端的演示文稿展示工具。

面向实时 Web 应用、具备高扩展性与协作能力的分布式文档-图数据库。

Plutus 是 Cardano 区块链底层的智能合约语言与开发平台。它主要用于在 Cardano 上构建去中心化应用，核心包含嵌入在账本中的脚本语言 Plutus Core 的实现与形式化规范，以及将 Haskell 代码编译为 Plutus Core 的编译器 Plutus Tx。

gwern.net 是知名独立网站的开源建站基础设施。基于 Haskell 的 Hakyll 搭建，解决长文阅读和知识归档体验问题。核心功能包括网页外链本地快照归档、悬浮弹窗预览、双向反向链接、内容嵌入/折叠、暗黑及阅读模式，并提供旁注、首字下沉等极致排版特性。

GitHubDaily 是一个专注于挖掘与分享优质开源项目的资源聚合仓库。它主要解决开发者寻找高效工具难、技术视野受限的问题，核心功能是按年份和场景（如 AI 工具、开发利器、学习教程等）系统分类整理并推荐 GitHub 上前沿、实用的开源项目与技术资讯。

基于 Git 的轻量级 Wiki 系统，提供本地前端界面，支持多种标记语言和内容格式。

一次编写多端适配的 Agent 技能库，支持 Claude Code、Cursor 等工具。

Claude Code 插件，可实时展示上下文用量、调用工具、运行中 Agent 和待办进度。

飞书/Lark 官方 CLI 工具，专为人类与 AI Agent 打造，覆盖消息、文档、多维表格、日历等核心业务。

GeoTrellis 是一个高性能地理数据处理框架，采用 Scala 编写。它主要解决大规模地理空间栅格与矢量数据的读写与运算难题，支持栅格代数计算；同时深度整合 Spark，并提供针对 S3、HBase 等外部存储及 GDAL、GeoTools 的扩展支持。

集成了高生产力 CLI 工具的云原生 Go 语言微服务框架。

注重隐私保护的本地化 PDF 工具箱。