R是用于统计计算和图形的免费软件环境。这是一个类似于S语言和环境的GNU项目，该项目是由约翰·钱伯斯及其同事在贝尔实验室（原AT＆T，现为朗讯技术公司）开发的。R可以看作是S的不同实现。有一些重要的区别，但是为S编写的许多代码在R下都不会改变。R是一种完整的语言，其捆绑的应用程序专门用作“事实”标准进行数据分析和处理。数据挖掘。更适合希望掌握所有功能的高级用户。
特征
Linux版R (programming language)的替代品
9
Mirai Math
GNU Octave的图形前端。编辑公式的固有数学符号。适用于Linux x586 / x86_64，WinXP，Vista和MacOS。
8
jasymca
Jasymca是用于解决数学问题的交互式系统。它支持任意精度数字和符号变量。
5
4
3
2
Nim (programming language)
Nim是一种静态类型化的命令式编程语言，它试图在不影响运行时效率的情况下赋予程序员最大的能力。
2
2
2
z3
Z3是Microsoft Research的一个定理证明者。