軟體庫 -

rofi

16.1k 674 2026/05/22

#### 產品特色 * 可自定義鍵盤導航 * 支援輸入文字篩選與多種匹配方式 * 支援UTF-8與國際鍵盤 * 支援RTL語言 * 支援Cairo與Pango字型渲染 #### 主要功能、特點 Rofi 是一個多功能的工具，可作為窗口切換器、應用程序啟動器和dmenu的替代品。它支援多種模式，包括窗口切換、SSH連線、文件瀏覽器、鍵盤導航列表等。Rofi 可透過腳本或插件進行擴展，並支援多種主題風...

rodrigorc/papercraft

250 8 2026/05/22

#### 主要功能、特點 #### 指令 ```bash # 無常用指令（自動生成） ```

Rocq prover

5.4k 729 2026/05/22

#### 產品特色 * 支援互動式開發機械檢查證明 * 提供形式化語言撰寫數學定義與可執行算法 * 支持半互動式開發證明 * 整合於 Coq 類型系統中 * 提供豐富的證明語法與強大證明環境 #### 主要功能、特點 Rocq Prover 是一個互動式定理證明器，提供形式化語言撰寫數學定義與可執行算法，並支援半互動式開發機械檢查證明。它提供強大的證明語法與環境，使開發者能夠在機械檢查的基礎上進行...

Rocky Linux

2026/05/22

#### 主要功能、特點 #### 指令 ```bash # 無常用指令（自動生成） ```

Rockxy

410 26 2026/10/20

#### 產品特色 * 交通捕捉：使用SwiftNIO代理，支持CONNECT隧道、自動生成每主機TLS證書、WebSocket幀捕捉及自動偵測GraphQL操作。 * 全面檢視：JSON樹視圖、十六進制檢視器、時間水準圖（DNS/TCP/TLS/TTFB/傳輸）、頭部、Cookie、查詢參數、認證——所有內容都放在標籤視圖中。 * 模擬與修改：支援本地映射（從文件伺服器）、遠端映射（重定向至另一...

RocksDB

31.7k 6.8k 2026/05/22

#### 產品特色 * 支援閃存與RAM的持久化存儲 * 採用Log-Structured-Merge-Database (LSM)架構 * 具多線程壓縮與寫入放大、讀取放大、空間放大權衡能力 * 提供強大的數據量處理能力，適合存儲多TB資料 * 開放源碼，支持GPLv2與Apache 2.0雙授權模式 #### 主要功能、特點 RocksDB 是一款高效且可靠的鍵值存儲引擎，專為處理大規模數據而...

Rocketmq-Rust

1.5k 245 2026/05/22

#### 主要功能、特點 #### 指令 ```bash # 無常用指令（自動生成） ```

Rocket.Chat.Electron

1.7k 823 2026/05/22

#### 產品特色 * 跨平台桌面應用 * 支援 Windows、macOS、Linux * 使用 Electron 技術 * 提供多種安裝方式 * 支援伺服器管理與連線 #### 主要功能、特點 Rocket.Chat.Electron 是一款跨平台的訊息協議即時通訊應用，支援 Windows、macOS 和 Linux 系統。應用使用 Electron 技術，提供簡潔的介面與強大的功能。使用者...

Rocket.Chat

45.3k 13.6k 2026/05/22

#### 產品特色 * 整合多種通訊方式，支持實時與異步溝通 * 強大的安全機制，確保數據隱私與機密性 * 可擴展的平台，支持自定義與第三方整合 * 多種部署方式，包括自建、雲端與隔離網絡 * 專業的開發工具與開發環境，方便開發與測試 #### 主要功能、特點提供無縫團隊通訊解決方案，支持實時與異步溝通。具備強大的安全機制，確保數據隱私與機密性。可擴展的平台，支持自定義與第三方整合。提供多種部署...

Rocket

25.7k 1.6k 2026/05/22

#### 產品特色 * 支援異步網頁開發 * 強調易用性與安全性 * 高度可擴展的框架 * 快速的執行速度 * 完整的官方文檔與社區支持 #### 主要功能、特點 Rocket 是一個專為 Rust 設計的異步網頁框架，專注於易用性、安全性、可擴展性和速度。它提供簡潔的 API 和強大的功能，使開發者能夠快速創建和部署網站。Rocket 支援異步路由、動態路由、靜態文件服務以及多種資料庫連接。其官...

rochacbruno/marmite

845 51 2026/05/22

#### 產品特色 * 單一二進位執行 * 零設定即啟動 * CommonMark + GitHub Flavoured Markdown + 扩展 * 支援原始HTML * 支援emoji、spoiler、Wikilinks與Obsidian連結 #### 主要功能、特點 Marmite 是一個極簡的靜態網站生成器，專門為博客使用者設計。它透過讀取Markdown檔案並使用CommonMark解...

RobustMQ

1.6k 219 2026/05/22

#### 主要功能、特點 #### 指令 ```bash # 無常用指令（自動生成） ```