搜索结果：at（300 个）

通过代码注释为 Go 语言自动生成 Swagger 2.0 RESTful API 文档的工具。

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

一个社区驱动的常用 Bash 框架。

scalameta 是一个专为 Scala 打造的元编程库。它主要解决 Scala 代码在分析、转换和生成等处理上的繁琐问题。核心功能涵盖代码解析（Parser）、语法与语义分析（SemanticDB）、代码格式化打印（Pretty-printer）及代码自动生成与转换。

Zotero 翻译插件，支持 PDF、EPub 等内容，集成 20 多种翻译服务。

Metals 是一个基于语言服务器协议（LSP）构建的 Scala 语言服务器。它旨在为各大代码编辑器提供丰富的 IDE 级功能支持，作为 IntelliJ IDEA 等传统 IDE 的轻量级替代方案，帮助 Scala 开发者在日常编码中获得更好的开发体验。

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

开源的稍后阅读完整解决方案，专为热爱阅读的人打造。

整合了主流开源项目的 Android 高度可配置 MVP 快速集成框架。

面向 Claude Code 的全能 SEO 技能库，涵盖技术 SEO、E-E-A-T、结构化数据及反向链接等。

Obelisk 是一个开箱即用的 Haskell 全栈开发框架，基于 Reflex FRP 打造。它解决全栈技术选型与前后端类型割裂的问题，支持用单一 Haskell 代码库同时构建前后端，并通过强类型系统即时捕获接口变更错误。前端支持 WASM/GHCJS，配合 CapacitorJS 可打包为移动应用，后端支持部署到 NixOS 或 OCI 容器。

zio-http 是基于 ZIO 和 Netty 构建的 Scala HTTP 框架，用于高效开发 Web 客户端与服务端。它将 HTTP 抽象为函数，核心特性包括：类型驱动与声明式端点设计、原生并发与错误处理、中间件、WebSocket、测试套件以及基于 ZIO Schema 的编解码。

基于 Ruby 开发、专为博客优化的静态网站生成器。

专为学术研究优化的 LLM 交互工具，支持论文精读润色与代码分析，兼容多种大模型。

IHP 是一个基于 Haskell 和 Nix 的开箱即用型全栈 Web 框架，旨在提供兼顾编译期类型安全与极高开发效率的体验。它内置路由、HSX 模板、可视化数据库设计器、代码生成器、热重载及身份验证，并通过 Nix 统一部署环境，让开发者更稳、更快地构建 Web 应用。

功能强大、极简设计的跨平台开源笔记应用。

Focalboard 是 Trello、Notion 和 Asana 的开源可自托管替代品。

真正开源的 MongoDB 替代方案。

Tapir 是一个声明式、类型安全的 Scala HTTP API 库。它将端点定义与业务逻辑解耦，只需一套代码即可同时生成 HTTP 服务端、客户端调用代码，并自动导出 OpenAPI/AsyncAPI 文档。能无缝兼容 Netty、http4s、ZIO 等主流 Scala 生态框架。

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