rockcraft
画像編集
Tool to create OCI images using the language from Snapcraft and Charmcraft
7686 回ダウンロード
詳細
rocksdb
開発ツール
Embeddable, persistent key-value store for fast storage
4038 回ダウンロード
詳細
rocq
開発ツール
Proof assistant for higher-order logic
4992 回ダウンロード
詳細
rocq-elpi
開発ツール
Elpi extension language for Rocq
2388 回ダウンロード
詳細
rocq-micromega-plugin
開発ツール
Micromega decision procedures plugin for the Rocq prover
6701 回ダウンロード
詳細
rofi
ゲーム
Window switcher, application launcher and dmenu replacement
5731 回ダウンロード
詳細
rofs-filtered
開発ツール
Filtered read-only filesystem for FUSE
6600 回ダウンロード
詳細
rogcat
開発ツール
Adb logcat wrapper
1641 回ダウンロード
詳細
rogue
開発ツール
Dungeon crawling video game
6814 回ダウンロード
詳細
rojo
開発ツール
Professional grade Roblox development tools
3898 回ダウンロード
詳細
rolesanywhere-credential-helper
セキュリティ
Manages getting temporary security credentials from IAM Roles Anywhere
3117 回ダウンロード
詳細
roll
開発ツール
CLI program for rolling a dice sequence
3058 回ダウンロード
詳細