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 次下載
查看詳情
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 次下載
查看詳情
roll
CLI program for rolling a dice sequence
0 次下載
查看詳情
rolldice
Rolls an amount of virtual dice
0 次下載
查看詳情
rollup
Next-generation ES module bundler
0 次下載
查看詳情
ronn
Builds manuals - the opposite of roff
0 次下載
查看詳情