搜索结果：r（5891 个）

为 GitHub 的 README.md 轻松生成目录（TOC）的工具。

适用于多种 Linux 发行版的 WireGuard VPN 服务端安装脚本，支持交互式配置与客户端管理。

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

作者个人的 GitHub Profile 配置文件仓库。

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

Docker 官方一键安装脚本项目。

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

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

用于集成 Claude Code 的 Neovim IDE 扩展插件。

通过 GitHub Actions 直接从 Apple 服务器生成可启动的 macOS 安装 ISO/DMG 镜像，无需 Mac。

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

Mihomo (Clash Meta) 配置文件仓库，通过 GitHub Actions 每日自动同步上游规则。

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

通过函数式组合构建 Web 应用的 Elixir 规范与工具库。

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

解决 VPN 开启时导致的 WSL 2 网络连接受阻问题。

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

haskell-language-server 是官方推出的 Haskell 语言服务器实现。它基于语言服务器协议（LSP），为现代编辑器和 IDE 提供官方级的 Haskell 智能开发支持，能无缝配合 Cabal、Stack 及多种 GHC 版本，大幅提升 Haskell 的编码与工具集成体验。

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

NextcloudPi 构建代码，支持树莓派、Odroid、Rock64 等单板及 curl 脚本安装。