rockcraft
Tool to create OCI images using the language from Snapcraft and Charmcraft
0 回ダウンロード
詳細
rocksdb
Embeddable, persistent key-value store for fast storage
0 回ダウンロード
詳細
rocq
Proof assistant for higher-order logic
0 回ダウンロード
詳細
rocq-elpi
Elpi extension language for Rocq
0 回ダウンロード
詳細
rocq-micromega-plugin
Micromega decision procedures plugin for the Rocq prover
0 回ダウンロード
詳細
rofi
Window switcher, application launcher and dmenu replacement
0 回ダウンロード
詳細
rofs-filtered
Filtered read-only filesystem for FUSE
0 回ダウンロード
詳細
rogcat
Adb logcat wrapper
0 回ダウンロード
詳細
rogue
Dungeon crawling video game
0 回ダウンロード
詳細
rojo
Professional grade Roblox development tools
0 回ダウンロード
詳細
rolesanywhere-credential-helper
Manages getting temporary security credentials from IAM Roles Anywhere
0 回ダウンロード
詳細
roll
CLI program for rolling a dice sequence
0 回ダウンロード
詳細