发现各种软件替代方案,找到更适合您的选择
Octave 是一个用于执行数值计算的计算机程序,与 MATLAB 兼容度很高,属于 GNU 项目的一部分,是根据 GNU 通用公共许可证条款发布的自由软件。
提供 65 个替代方案
R 是一个用于统计计算和图形处理的免费软件环境。它是一个 GNU 项目,类似于在贝尔实验室(前身为 AT&T,现为朗讯科技)由约翰·钱伯斯及其同事开发的 S 语言和环境。R 可以被视为。
提供 96 个替代方案
Dart(最初称为Dash)是由谷歌开发的一种Web编程语言。它于2011年10月10日至12日在奥胡斯举行的GOTO大会上首次发布。Dart的目标是“最终取代JavaScript,成为开放网络平台上Web开发的通用语言”。
提供 66 个替代方案
Nim 是一种静态类型、过程式编程语言,拥有强大的宏系统,旨在不牺牲运行时效率的前提下赋予程序员终极控制力。
提供 90 个替代方案
Flowgorithm 是一款免费应用程序,可帮助您使用简单的流程图创建程序。
提供 46 个替代方案
一个可信的、工业级的交互式定理证明器及依赖类型编程语言,用于数学、计算机科学等领域的机械化推理。
提供 4 个替代方案
Wolfram语言是一种符号语言,专为具备开发强大程序所需的广度和统一性而设计。通过集成高级形式(如Image、GeoPolygon或Molecule)以及先进的超函数(如ImageIdentify或...)
提供 117 个替代方案
用于数值计算和高级统计分析的开源框架,具备非线性曲线拟合、常微分方程求解、一维/二维出版级可视化、傅里叶与小波变换功能,语法直观,并采用命名空间组织代码,适用于科研工作。
提供 69 个替代方案
Mojo 编程语言 Mojo 是由 Modular Inc. 开发的一种专用人工智能(AI)编程语言。该语言于2023年5月首次发布,旨在成为 Python 的超集,同时具备 C 语言的性能。
提供 55 个替代方案
Lean 是一种基于依赖类型理论的函数式编程语言和交互式定理证明器。依赖类型理论将程序与证明的世界统一起来,因此 Lean 也是一种编程语言。
专为科学计算设计,该语言和编辑器提供低成本抽象和安全检查,专注于矩阵运算,语法与科研论文保持一致。它支持数学公式渲染、实时维度检查和直观的用户体验。
用于编写单页应用的编程语言。Mint 拥有您在极短时间内编写无错误、易读且可维护的应用程序所需的一切工具。
PureScript 最初由 Phil Freeman 于 2013 年设计。他开始开发 PureScript 是因为他对其他将 Haskell 编译为 JavaScript 的尝试(例如使用 Fay、Haste 或 GHCJS)不满意。














