搜索结果：r（419 个）

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 替代方案。

macOS 菜单栏日历应用，基于 MVVM、RxSwift、AppKit 与 SwiftUI 构建。

纯 JavaScript 打造的客户端及服务端 PDF 文档生成库。

用于阅读 .md 文件的轻量级 Markdown 查阅工具。

intellij-scala 是 JetBrains 为 IntelliJ IDEA 打造的 Scala 语言官方插件。它让开发者能在 IDEA 中高效编写 Scala 代码，核心提供代码高亮、智能补全、重构与检查，支持类型与隐式信息查看，并无缝集成 SBT 等构建工具、测试框架、调试器及 Worksheet。

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

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

面向 Claude Code、Cursor 等智能体的技能与插件库，含 410+ 技能与 120+ Agent 资源。

Perspec 是一款基于 Haskell 开发的桌面工具，用于矫正文档、白板、收据或建筑立面等照片的透视畸变。它能自动识别图像边角，也支持手动拖动微调或缩放，并支持脚本化操作与批量处理，一键导出校正后的平面图像。

基于 Rust 构建，将 Word、PPT、Excel、PDF 等文档转为干净的 Markdown，提供 Node.js 和 Python 绑定。

专为手写笔记打造的跨平台开源应用。

精选的优质数学学习与研究资源列表。

轻量、开源的原生 macOS 效率启动器。

PureScript 是一种灵感源自 Haskell 并用 Haskell 编写的强类型编程语言。它主要解决 JavaScript 弱类型带来的开发隐患，核心功能是提供富有表现力的静态类型系统，并能直接编译成 JavaScript 代码运行。