搜索结果：web（49 个）

Hydra 是基于 Haskell 开发的 Cardano 二层扩容方案，旨在降低交易延迟与成本并提升吞吐量。它实现了 Hydra Head 协议，核心提供兼容主网的 `hydra-node` 节点、直连 Cardano 节点能力、WebSocket/HTTP API 以及终端交互界面 `hydra-tui`。

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

ChatMCP 是一款基于 Dart 开发的跨平台 AI 客户端，解决了在不同设备上统一调用模型上下文协议（MCP）的需求。核心支持桌面端、移动端与 Web 端，提供 MCP 工具调用、局域网数据同步，以及思考模式、图像生成、Artifacts、LaTeX 和 Mermaid 图表渲染等功能。

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

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

面向 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 的编解码。

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

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

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

Grid 是卫报（The Guardian）开源的图像管理系统，旨在解决媒体资产的高效组织、快速检索与低成本使用问题。核心功能包括：基于 Elasticsearch 提供极速图片搜索、通过 Web 界面统一管理图片，并以微服务架构提供超媒体 API，支持接入 AWS 进行存储与通信。

使用 Web 技术创建 PDF 文档的工具。

由 Office Commun 开发，一款轻巧快速的 macOS WebKit 浏览器。

WAI 是 Haskell Web 框架与服务器之间的通用接口标准。它解决了应用与底层服务器解耦的问题：开发者基于 WAI 编写的 Web 应用，可直接部署在任意兼容后端（如高性能的 Warp）；同时它支持中间件机制，便于跨框架共享代码并实现模块化。

Flutter 官方文档网站。

jwt-scala 是一个为 Scala 打造的无外部依赖的 JSON Web Token（JWT）实现库。它支持 Java 17+、Scala 2.13 及 Scala 3，提供 HMAC、RSA、ECDSA 等多种签名算法，并可选扩展集成 Play、Circe、Json4s、uPickle 等主流 JSON 库，方便开发者在 Scala 生态中快速生成与验证 JWT。

Amazonka 是专为 Haskell 打造的 AWS SDK，解决了在 Haskell 生态中对接 AWS 服务的需求。其核心功能包括基础配置、身份认证和请求发送逻辑，并借助代码生成器自动同步 Amazon 最新 API，全面支持绝大多数 AWS 公共服务。

Orbeon Forms 是一款面向企业和开发者的开源复杂表单构建与运行平台，基于 Scala 开发。它支持通过可视化设计器制作多页面表单，内置校验、计算和重复项等逻辑；可高效采集数据、生成 PDF/Excel 文件，并提供权限控制及 API，方便与现有系统集成。

sbt-war（前身为 xsbt-web-plugin）是一款专为 sbt 打造的插件，主要解决 Scala/Java Web 项目在 sbt 环境下的打包与本地运行问题。它支持将源码、依赖库及静态资源一键打包为标准 WAR 文件，并提供便捷的本地启动（warStart）与停止（warStop）运行功能。