inchi

★★★★☆ ✓ Safe

Development

Portable option available.

WindowsmacOS

8.6K downloads Details

scryer-prolog

★★★★☆ ✓ Safe

Development

Clean installer, works offline.

WindowsmacOS

7.8K downloads Details

Studio 3T

★★★★☆ ✓ Safe

Development

Portable option available.

macOS

2.3K downloads Details

TLA+ Toolbox

★★★★☆ ✓ Safe

Development

Portable option available.

macOS

7.2K downloads Details

savana

★★★★☆ ✓ Safe

Development

Portable option available.

WindowsmacOS

7.4K downloads Details

licensor

★★★☆☆ ✓ Safe

Development

Clean installer, works offline.

WindowsmacOS

1.7K downloads Details

ttl

★★★☆☆ ✓ Safe

Development

Free official build, no bundleware.

WindowsmacOS

323 downloads Details

ansilove

★★★★☆ ✓ Safe

Development

Portable option available.

WindowsmacOS

7.8K downloads Details

tty-clock

★★★★☆ ✓ Safe

Development

Portable option available.

WindowsmacOS

4.5K downloads Details

camlp-streams

★★★★☆ ✓ Safe

Development

Portable option available.

WindowsmacOS

7.8K downloads Details

ttygif

★★★☆☆ ✓ Safe

Development

Free official build, no bundleware.

WindowsmacOS

1.1K downloads Details

hexedit

★★★☆☆ ✓ Safe

Development

Light footprint, quick to install.

WindowsmacOS

325 downloads Details