Войти

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

для
Фильтр альтернатив по платформе
— Все платформы
Веб
— Онлайн Сервис • 1
Настольные ПК
— Windows • 14 — Linux • 6 — macOS • 4
Мобильные платформы
— iPhone • 1 — Android • 1
Планшеты
— iPad • 1 — Android Tablet • 1
с
Фильтр альтернатив по лицензии
сбросить фильтры
Логотип 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
Логотип checkSum+
3

Использую

checkSum+ 22 альтернативы

  • Cvs
  • Md5
  • Verification
  • Sfv
  • Verify Checksum

checkSum+ will handle md5, sfv & cvs files (please, do not confuse with cvs files, since these can be any kind of database file). These files store "checksum" information about …

Бесплатно
macOS
Логотип 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
Логотип 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

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

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

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

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

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

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