Development软件下载

💻

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

💻

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

💻

roll

★★★★☆ ✓ Safe

Development

CLI program for rolling a dice sequence

WindowsmacOS

3.1K downloads Details

💻

rolldice

★★★☆☆ ✓ Safe

Development

Rolls an amount of virtual dice

WindowsmacOS

485 downloads Details

💻

rollup

★★★☆☆ ✓ Safe

Development

Next-generation ES module bundler

WindowsmacOS

1.3K downloads Details

💻

ronn

★★★★☆ ✓ Safe

Development

Builds manuals - the opposite of roff

WindowsmacOS

5.5K downloads Details