搜索结果：r（1759 个）

跨平台备份工具，支持增量备份、端到端加密、压缩和数据去重，提供 CLI 与 GUI。

引导用户逐步浏览应用的功能导览工具。

layoutz 是一个轻量、零依赖的 Scala 命令行美化与 TUI 库，用于解决业务逻辑中字符串格式化代码泛滥的问题。它提供声明式 DSL，支持 ANSI 样式、表格、图表、列表等排版原语，并内置 Elm 架构用于开发交互式终端应用，兼容 JVM、JS 和 Native。

APIX Agent 代理工具。

将想法、规划或代码库转化为交互式图表，适配 Claude Code、Codex 等的 Agent 技能。

基于 ClashMeta 的多平台代理客户端，开源免费、无广告且简单易用。

将 API 抽象为声明式配置文件的基础设施即代码（IaC）工具。

HLint 是一个专为 Haskell 开发者打造的代码优化提示工具。它主要解决代码繁琐、不够地道的问题，核心功能是快速扫描代码并给出改进建议，例如推荐更合适的替代函数、简化冗余逻辑等。它逐个模块独立分析，无需完整类型检查即可高效运行。

Kinopio 是一款用于激发创意的思考工具客户端。

**linear-base** 是面向 Haskell 线性类型（`-XLinearTypes`）的标准库。因原生 `base` 库不支持线性绑定，该项目提供了支持线性类型的 `Num`、`Monad` 等基础类型类与函数替代版，并提供文件/Socket I/O 及数组安全原地修改等抽象，用于保障资源安全与提升性能。

NVIDIA GPU 高性能深度学习推理 SDK，本仓库包含其开源组件。

aeson 是一个用于处理 JSON 数据的 Haskell 库。它专注于高性能，主要解决 Haskell 开发者在解析、操作和生成 JSON 数据时的效率需求，是处理 JSON 数据的核心基础工具。

完整的 iOS 玩机指南，涵盖从官方原版系统到越狱的全流程。

基于 Nuxt UI 和 Vercel AI SDK 构建的 Nuxt AI 聊天机器人模板。

开源、简洁、高颜值的酷狗音乐第三方客户端，支持 Windows、macOS、Linux 及 Web 端。

跨平台 FRP 桌面客户端，支持可视化配置与内网穿透。

《魔兽世界》（World of Warcraft）用户界面源码的 Git 镜像。

bsc 是 Bluespec 硬件描述语言的开源编译器与工具链。它解决传统数字硬件设计复杂、易出错的问题，支持 BSV 和 BH 两种语法，能通过强类型系统和“保护原子操作”进行模块化设计，并自动生成标准 Verilog，同时自带仿真器与标准库。

Ergo 是一个基于 PoW 共识机制的加密货币协议及其 Scala 官方全节点实现。它在扩展 UTXO 模型下解决了传统区块链合约功能受限与状态膨胀问题，核心支持图灵完备的 ErgoScript 合约语言、抗 ASIC 的 Autolykos2 算法、无状态轻客户端以及用于防止垃圾状态的存储费机制。

开源 AI 渗透测试工具，帮助自动检测并修复应用中的安全漏洞。