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

提供 78 个替代方案

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

提供 14 个替代方案

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

提供 4 个替代方案

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

提供 10 个替代方案

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

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

提供 6 个替代方案

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

提供 4 个替代方案

你硬币的缺失保障。

提供 8 个替代方案

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

提供 12 个替代方案

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

提供 121 个替代方案

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

MoreLogin反检测浏览器可帮助您在互联网上保持匿名，并通过一个易于使用的界面管理数千个在线账户。

CtrlWORK 会引导用户在一天中多次短暂休息，并减少鼠标使用。研究表明，适当休息可预防疲劳和不适。关键反馈能提高意识并促进改变。企业可自定义内容并查看统计数据。