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 次下载
查看详情