搜索结果：r（419 个）

为 Obsidian 集成 Git 版本控制，支持自动提交与同步等高级功能。

〔中文简介暂未生成〕 Compose Multiplatform Liquid Glass effect

Agda 是一个基于依值类型（Dependent Types）的编程语言兼交互式定理证明器，使用 Haskell 开发。它主要用于类型理论研究和高可靠性程序验证，支持开发者编写严谨的程序代码，并利用其强大的类型系统进行数学定理的形式化交互证明、类型检查与编译。

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

Scala.js 是一个将 Scala 语言编译为 JavaScript 的编译器。它旨在让开发者能够直接使用类型安全且功能强大的 Scala 语言编写前端或全栈应用，并将其转换为标准的 JavaScript 代码，从而在浏览器或 Node.js 环境中流畅运行。

极其简单易用的文档扫描工具，支持扫描并导出为 PDF 等格式。

微软开源的协同系统，用于将 LLM 与各类开源机器学习社区模型连接调用。

通过代码注释为 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、结构化数据及反向链接等。

为 Kodluyoruz 制作的前端 101 视频教程配套代码仓库。

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