Войти

Приложения с тегом Проверка

для
Фильтр альтернатив по платформе
— Все платформы
Настольные ПК
— Windows • 6 — Linux • 5 — macOS • 3
с
Фильтр альтернатив по лицензии
сбросить фильтры
Логотип MultiPar
9

Использую

MultiPar 7 альтернатив

  • Md5
  • Verification
  • File Verification
  • Backup
  • Error Correction

MultiPar is for data protection. It does file verification AND error detection, correction & recovery to protect your files and folders from deletion, copy errors, download errors, software errors,...

Открытое ПO
BSD
Linux
Windows
macOS
Логотип wxChecksums
5

Использую

wxChecksums 24 альтернативы

  • Md5
  • Md5Sum
  • Unix
  • Gtk
  • Verification

wxChecksums is a program which calculates and verifies checksums. So you can check the integrity of one or more files. wxChecksums is able to read and write files in SFV …

Открытое ПO
Linux
Windows
Логотип Fsum Frontend
4

Использую

Fsum Frontend 13 альтернатив

  • Md5
  • Hash
  • Crc32
  • Md5Sum
  • Md4

GUI frontend for fsum – a hash calculator supporting a ton of algorithms. Fsum Frontend is a free and easy-to-use tool that allows to compute message digests, checksums and HMACs …

Открытое ПO
Windows
Логотип Coq
2

Использую

Coq 3 альтернативы

  • Verification
  • Mathematics
  • Safety
  • Proofs
  • Formal

Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal way, and have them checked for correctness by the computer. It also allows …

Открытое ПO
Linux
Windows
macOS
Логотип EPANET
2

Использую

EPANET 2 альтернативы

  • Verification
  • Monitoring
  • Technology
  • Risk Management
  • Water

Developed by EPA's Water Supply and Water Resources Division, EPANET is software that models water distribution piping systems. It is a Windows 95/98/NT/XP program that performs extended-period simulation of the …

Открытое ПO
Linux
Windows
Логотип Agda
1

Использую

Agda 2 альтернативы

  • Programming Language
  • Verification
  • Mathematics
  • Safety
  • Proofs

Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on values, such as the type of vectors of a given length. It …

Открытое ПO
Linux
Windows
macOS

Что в этом списке?

Этот список содержит 6 приложений с тегом Проверка. Список можно фильтровать по типу лицензии, платформе. Возможен просмотр приложений со связанными тегами. Поддерживается сортировка по количеству пользователей которые уже используют приложение, или дате добавления.

Последнее обновление списка: 15 декабря 2014 г. 0:00

Вы можете дополнить или изменить информациию о любом приложении на SuggestUse. За внесение любой информации вам будут начислены поинты.

Сортировка приложений

Связанные теги