rarian
Development
Runs on Windows, macOS and Linux.
2.4K downloads
Details
hyperestraier
Development
Portable option available.
4.2K downloads
Details
libcoap
Development
Runs on Windows, macOS and Linux.
6.5K downloads
Details
hledger
Development
Runs on Windows, macOS and Linux.
8.4K downloads
Details
mcfly
Development
Light footprint, quick to install.
9.6K downloads
Details
gwenhywfar
Development
Checked against the vendor release.
3.7K downloads
Details
agda
Development
Clean installer, works offline.
3.3K downloads
Details
sparkey
Development
Runs on Windows, macOS and Linux.
9.6K downloads
Details
sollya
Development
Runs on Windows, macOS and Linux.
2.8K downloads
Details
cbmc
Development
Portable option available.
9.9K downloads
Details
ejabberd
Development
Clean installer, works offline.
4.2K downloads
Details
howdoi
Development
Light footprint, quick to install.
653 downloads
Details