发现各种软件替代方案,找到更适合您的选择

4

尽管控制台应用程序是开源的(PAR 客户端采用 GPL 许可),但图形用户界面应用程序是闭源的。 控制台应用程序和部分用户界面资源是开源的。

提供 6 个替代方案

QuickPar 创建校验卷,可用于文件或文件组的验证和恢复。如果拥有此类信息,且部分文件损坏或丢失,QuickPar 可能能够从受损文件和 PAR 文件中重建原始文件。

提供 7 个替代方案

3

ViceVersa 执行文件同步、文件复制、文件备份和文件比较。它可自动使用 CRC32 校验码验证数据。

提供 52 个替代方案

4

fio 是一款用于基准测试以及压力测试/硬件验证的 I/O 工具。它支持多种不同的 I/O 引擎、I/O 优先级(在较新的 Linux 内核上)、受限速率的 I/O、分叉或线程化任务等更多功能。

提供 16 个替代方案

4

fsum 的图形用户界面前端——支持多种算法的哈希计算工具。 Fsum Frontend 是一款免费且易于使用的工具,可为文件和文本字符串计算消息摘要、校验和及 HMAC。支持拖放操作,可一次性处理多个文件。

提供 27 个替代方案

Squish 是用于功能 GUI 回归测试的领先跨平台/跨技术 GUI 测试自动化工具。立即开始免费试用!

提供 9 个替代方案

一个可信的、工业级的交互式定理证明器及依赖类型编程语言,用于数学、计算机科学等领域的机械化推理。

提供 4 个替代方案

F* 是一种类似 ML 的函数式编程语言,旨在实现程序验证。F* 可以表达程序的精确规范,包括功能正确性性质。用 F* 编写的程序可被转换为 OCaml 或 F# 以供执行。

提供 6 个替代方案

Agda 是一种依赖类型函数式编程语言。它具有归纳族,即依赖于值的数据类型,例如指定长度的向量类型。它还支持参数化模块、混合运算符、Unicode 字符以及交互式 Emacs...

Vespia 是一款一体化的反洗钱解决方案,可在30秒内完成对企业客户和合作伙伴的验证与开户。该公司利用人工智能的力量,帮助反洗钱义务主体了解其合作对象。

提供 6 个替代方案

洞察IT基础设施状态,帮助您了解风险隐患,预防安全 breaches,并加快软件交付速度。

immudb 是一种内置加密证明和验证功能的数据库。它追踪敏感数据的变化,历史记录的完整性由客户端保护,无需信任数据库本身。

PDF质量检查(预检)、自动校正和手动编辑的核心产品。此软件作为Adobe Acrobat的插件运行。

Sumsub 是唯一能保障用户全流程安全的验证平台。通过 Sumsub 的可定制 KYC、KYB、交易监控及欺诈预防解决方案,您可统筹管理验证流程,欢迎全球更多客户,满足合规要求……

测试计划与测试用例管理软件。提升质量保证并跟踪您的项目