搜索结果：r（1767 个）

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

Caliban 是一个面向 Scala 的纯函数式 GraphQL 库，用于构建 GraphQL 服务端与客户端。它能帮开发者免去手动定义 Schema 的繁琐样板代码，利用 Scala 标准类型在编译期完成 Schema 定义与校验，并结合运行时解析器，提供兼顾纯函数式和高性能的 GraphQL 解决方案。

简单、快速且用户体验更友好的 Linux 'find' 命令替代品。

现代 Go 语言交互式命令行工具开发库。

面向 Android 和 JVM 的类型安全 HTTP 客户端。

Cursor AI 编辑器配置集合，通过自定义规则和行为提升使用体验。

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

生产级 Flutter 视频播放器，支持全平台、HLS/DASH、DRM、缓存和画中画等。

该项目是 Exercism 平台的 Haskell 语言练习题库与技术实现。它为学习 Haskell 的开发者提供结构化的编程练习，包含概念练习、实践题目、配套测试用例、基础存根代码及参考解答，帮助开发者通过针对性的实战编码与自动化测试掌握 Haskell 编程。

redis4cats 是一个 Scala 版的 Redis 客户端，基于 Cats Effect、Fs2 和 Java 异步客户端 Lettuce 构建。它解决了在函数式编程中安全、异步操作 Redis 的需求，提供纯函数式的 Effects API 与 Streams 流式处理支持，适用于生产环境。

执行速度极快的现代化 Web 资源打包与构建工具。

Python 学习操练场与速查手册，按主题分类并附带代码与解析。

基于 Python 开发的 GDB 模块化可视化界面工具。

FFmpeg libav 学习教程，涵盖多媒体基础原理、解复用、转码等进阶内容。

基于 Flutter 构建的跨平台 Jellyfin 客户端前端。

让 Git hooks 配置与管理变得极为简单的轻量级工具。

用于构建可靠异步 Rust 应用的事件驱动运行时，提供 I/O、网络、任务调度及计时器支持。

致力于让每个人都能高效进行视频创作的开源视频生成项目（Sora 复现）。

Go 编写的高性能代理服务器，支持 HTTP(S)、SOCKS5、WebSocket、TCP/UDP 及链式代理与穿透转发。

适用于 Linux/macOS/UNIX 的无 Agent 安全审计与系统加固工具，支持合规检测。