💻

joker

★★★★☆ ✓ Safe

Development

Clean installer, works offline.

WindowsmacOS

8.3K downloads Details

💻

fauna-shell

★★★★☆ ✓ Safe

Development

Runs on Windows, macOS and Linux.

WindowsmacOS

7.2K downloads Details

Cisco Proximity

★★★★☆ ✓ Safe

Development

Portable option available.

macOS

8.9K downloads Details

💻

dynare

★★★★☆ ✓ Safe

Development

Free official build, no bundleware.

WindowsmacOS

6.7K downloads Details

💻

nsh

★★★☆☆ ✓ Safe

Development

Free official build, no bundleware.

WindowsmacOS

1.4K downloads Details

💻

zelda-roth-se

★★★★☆ ✓ Safe

Development

Light footprint, quick to install.

WindowsmacOS

4.5K downloads Details

💻

agda

★★★★☆ ✓ Safe

Development

Clean installer, works offline.

WindowsmacOS

3.3K downloads Details

💻

minimal-racket

★★★★☆ ✓ Safe

Development

Portable option available.

WindowsmacOS

3K downloads Details

💻

vnu

★★★★☆ ✓ Safe

Development

Clean installer, works offline.

WindowsmacOS

4.2K downloads Details

💻

ampl-mp

★★★★☆ ✓ Safe

Development

Checked against the vendor release.

WindowsmacOS

5.1K downloads Details

💻

pcal

★★★★☆ ✓ Safe

Development

Portable option available.

WindowsmacOS

5.3K downloads Details

Arduino IDE

★★★★☆ ✓ Safe

Development

Clean installer, works offline.

macOS

7.8K downloads Details