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 次下載
查看詳情