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

2

基于网络的项目协作平台。基本功能:组织讨论、分配与跟踪任务、存储文件和笔记。拥有庞大的插件商店,提供各种实用的团队协作工具。

提供 165 个替代方案

5

Stingle Photos 是一款安全的图片/视频加密和备份应用,提供强大的安全性和隐私保护,通过加密将您的媒体文件安全地保存在云存储中,防止数据泄露和漏洞。

提供 71 个替代方案

5

🔐 NewPass 是一款免费开源的密码管理器,可帮助您安全地生成和存储密码,本地保存并加密存储在手机内存中。

提供 76 个替代方案

5

F2 通过批量重命名帮助您整理文件系统,使您的文件和目录具有统一的命名规则。

提供 78 个替代方案

4

SophiMail 是一款功能完整的电子邮件与协作服务器,解决最关键的电子邮件问题:最大化隐私性、可移植性和成本效益,提升管理员和用户的生产力。适用于虚拟机上的私有托管:云端、本地或混合部署。

提供 38 个替代方案

4

SaferPass 可自动为您登录,并帮助备份密码以便快速搜索。无需再记住每个网站的密码。 借助 SaferCloud,您甚至可以安全便捷地在多台设备间同步密码!

提供 142 个替代方案

所有GPS信息尽在一款应用中。GPS测试可显示基本的GPS信号(SNR)和卫星信息,以及从GPS引擎读取的当前位置和时间。它支持以下坐标网格:OSGB、UTM、MGRS、USNG、CH1903和Maidenhead。

提供 6 个替代方案

5

Sygate个人防火墙虽然有些过时,但仍是Windows系统下不错的防火墙。它占用的系统资源极少,且非常稳定。该项目现已停止维护,因为赛门铁克公司于2005年10月10日收购了Sygate技术公司,因此Sygate个人防火墙已不再更新。

提供 14 个替代方案

AIDE(高级入侵检测环境)是一个文件和目录完整性检查工具。

提供 9 个替代方案

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

提供 4 个替代方案

CODESYS 是领先的、与制造商无关的 IEC 61131-3 自动化软件,用于工程控制系统的开发。它可用于编程数百种不同的控制器、PLC、PAC 及其他自动化系统,甚至可通过工业 4.0 接口实现。

提供 10 个替代方案

Isabelle 是一个用于通过计算机编写和检查数学证明的证明助手。

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

提供 6 个替代方案

HiddenApp 通过追踪、定位和查找功能,为组织提供全天候的IT设备可视性,所有功能均可通过一个简单易用的仪表板进行管理。

提供 4 个替代方案

5

safeREACH 是一款全面且易于使用的数字系统,用于企业员工预警和危机管理。

提供 5 个替代方案

Samhain主机入侵检测系统(HIDS)提供文件完整性检查、日志文件监控/分析,以及rootkit检测、端口监控、非法SUID可执行文件检测和隐藏进程检测。

提供 12 个替代方案

5

你硬币的缺失保障。

提供 8 个替代方案

Centriq 是房主所需的一款应用,满足所有家居需求。它是全球首个智能定制家居平台,可自动提供用户手册、产品安全召回通知、操作视频、专业建议等服务。

提供 12 个替代方案

总部位于加拿大安大略省渥太华,黑莓QNX自1982年以来一直为全球众多关键任务嵌入式系统提供基础软件。从核电站、手术机器人和III类生命支持医疗设备,到自动驾驶汽车以及诸多品牌……

提供 121 个替代方案

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