搜索结果：r（1873 个）

最简便的 Xray 安装与升级工具。

作者个人的 dotfiles 配置文件合集。

用于 Bash 的可编程命令自动补全函数集合。

一款全功能、开箱即用的 Linux 综合运维管理脚本。

Void Linux 的源码软件包集合仓库。

配置完善、结构清晰的 Neovim 配置套件。

用于优化 Linux 笔记本电池寿命和续航的高级电源管理工具。

null-ls.nvim 的重制版，通过 Lua 将 Neovim 充当语言服务器，注入 LSP 诊断与代码操作等功能。

Claude Code 专属开发框架，通过“规划-执行-审查”自治循环实现高质量开发。

〔中文简介暂未生成〕 Ethereum smart contract fuzzer

支持安装浏览器扩展的安全开源 Android 浏览器。

支持在 Amlogic、Allwinner 和 Rockchip 等多款芯片设备上运行 OpenWrt。

Sublime Text 和 Sublime Merge 内置的语法高亮配置文件包。

专为程序员设计的免费开源等宽字体，支持编程代码连字（Ligatures）。

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

ElasticMQ 是一个兼容 Amazon SQS 接口的内存消息队列系统，基于 Scala 构建。它主要解决本地开发与测试中依赖真实 AWS SQS 的成本与繁琐问题。核心功能包括支持 SQS 语义的轮询与延时消息、全异步无阻塞运行，支持独立部署、Docker 或嵌入式运行，并提供可选的持久化和 Web 管理界面。

Elixir 的多维数组（张量）与数值计算库。

Futhark 是由哥本哈根大学开发的数据并行纯函数式编程语言，属于 ML 语言家族。它主要解决高性能并行计算的编写难题，核心功能是将函数式代码编译为可在 CPU 或 GPU（支持 CUDA、OpenCL）上运行的高效并行程序，适用于实用级高性能计算场景。

简单好用的 Xray 一键安装与管理脚本。

适用于 NanoPi R2C/R2S/R4S 及 x86 设备的 OpenWrt 固件。