软件星河 软件下载

🖼

rockcraft

★★★★☆ ✓ Safe

Photo Editing

Tool to create OCI images using the language from Snapcraft and Charmcraft

WindowsmacOS

7.7K downloads Details

💻

rocksdb

★★★★☆ ✓ Safe

Development

Embeddable, persistent key-value store for fast storage

WindowsmacOS

4K downloads Details

💻

rocq

★★★★☆ ✓ Safe

Development

Proof assistant for higher-order logic

WindowsmacOS

5K downloads Details

💻

rocq-elpi

★★★★☆ ✓ Safe

Development

Elpi extension language for Rocq

WindowsmacOS

2.4K downloads Details

💻

rocq-micromega-plugin

★★★★☆ ✓ Safe

Development

Micromega decision procedures plugin for the Rocq prover

WindowsmacOS

6.7K downloads Details

🕹

rofi

★★★★☆ ✓ Safe

Gaming

Window switcher, application launcher and dmenu replacement

WindowsmacOS

5.7K downloads Details

💻

rofs-filtered

★★★★☆ ✓ Safe

Development

Filtered read-only filesystem for FUSE

WindowsmacOS

6.6K downloads Details

💻

rogcat

★★★☆☆ ✓ Safe

Development

Adb logcat wrapper

WindowsmacOS

1.6K downloads Details

💻

rogue

★★★★☆ ✓ Safe

Development

Dungeon crawling video game

WindowsmacOS

6.8K downloads Details

💻

rojo

★★★★☆ ✓ Safe

Development

Professional grade Roblox development tools

WindowsmacOS

3.9K downloads Details

🛡

rolesanywhere-credential-helper

★★★★☆ ✓ Safe

Security

Manages getting temporary security credentials from IAM Roles Anywhere

WindowsmacOS

3.1K downloads Details

💻

roll

★★★★☆ ✓ Safe

Development

CLI program for rolling a dice sequence

WindowsmacOS

3.1K downloads Details