软海 软件下载

💻

eprover

★★★★☆ ✓ Safe

Development

Theorem prover for full first-order logic with equality

WindowsmacOS

7.8K downloads Details

🗜

epsilon

★★★★☆ ✓ Safe

Archivers

Powerful wavelet image compressor

WindowsmacOS

8.4K downloads Details

🖼

epstool

★★★★☆ ✓ Safe

Photo Editing

Edit preview images and fix bounding boxes in EPS files

WindowsmacOS

5.1K downloads Details

💻

epubcheck

★★★☆☆ ✓ Safe

Development

Validate EPUB files, version 2.0 and later

WindowsmacOS

1.6K downloads Details

🧠

eralchemy

★★★☆☆ ✓ Safe

Mind Maps

Simple entity relation (ER) diagrams generation

WindowsmacOS

1.2K downloads Details

💻

erdtree

★★★☆☆ ✓ Safe

Development

Multi-threaded file-tree visualizer and disk usage analyzer

WindowsmacOS

2K downloads Details

💻

erfa

★★★★☆ ✓ Safe

Development

Essential Routines for Fundamental Astronomy

WindowsmacOS

3.8K downloads Details

💻

erg

★★★★☆ ✓ Safe

Development

Statically typed language that can deeply improve the Python ecosystem

WindowsmacOS

4.6K downloads Details

⌨

erlang

★★★☆☆ ✓ Safe

Input Method

Programming language for highly scalable real-time systems

WindowsmacOS

1.6K downloads Details

💻

erlang-language-platform

★★★★☆ ✓ Safe

Development

LSP server and CLI for the Erlang programming language

WindowsmacOS

9.5K downloads Details

⌨

erlang@26

★★★★☆ ✓ Safe

Input Method

Programming language for highly scalable real-time systems

WindowsmacOS

8.9K downloads Details

⌨

erlang@27

★★★★☆ ✓ Safe

Input Method

Programming language for highly scalable real-time systems

WindowsmacOS

6.8K downloads Details