软之家 软件下载

💻

eprover

Development

Theorem prover for full first-order logic with equality

WindowsmacOS

7.8K downloads Details

epsilon

Archivers

Powerful wavelet image compressor

WindowsmacOS

8.4K downloads Details

epstool

Photo Editing

Edit preview images and fix bounding boxes in EPS files

WindowsmacOS

5.1K downloads Details

epubcheck

Development

Validate EPUB files, version 2.0 and later

WindowsmacOS

1.6K downloads Details

eralchemy

Mind Maps

Simple entity relation (ER) diagrams generation

WindowsmacOS

1.2K downloads Details

erdtree

Development

Multi-threaded file-tree visualizer and disk usage analyzer

WindowsmacOS

2K downloads Details

erfa

Development

Essential Routines for Fundamental Astronomy

WindowsmacOS

3.8K downloads Details

erg

Development

Statically typed language that can deeply improve the Python ecosystem

WindowsmacOS

4.6K downloads Details

erlang

Input Method

Programming language for highly scalable real-time systems

WindowsmacOS

1.6K downloads Details

erlang-language-platform

Development

LSP server and CLI for the Erlang programming language

WindowsmacOS

9.5K downloads Details

erlang@26

Input Method

Programming language for highly scalable real-time systems

WindowsmacOS

8.9K downloads Details

erlang@27

Input Method

Programming language for highly scalable real-time systems

WindowsmacOS

6.8K downloads Details