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

abc是一种基于文本的乐谱记法，尤其在民谣和传统音乐中广受欢迎。

Steel Bank Common Lisp (SBCL) 是一个高性能的 Common Lisp 编译器。它是一款开源/免费软件，采用宽松许可证。除了 ANSI Common Lisp 的编译器和运行时系统外，它还提供了一个交互式环境，包括调试器、统计分析等功能...

提供 11 个替代方案

ReasonML 是 OCaml 的新面孔，结合 BuckleScript 后可让 Web 开发变得简单、稳健且类型安全。它具有出色的 JavaScript FFI 支持，并可轻松地逐步集成到现有项目中。

提供 7 个替代方案

Chibi-Scheme 是一个非常轻量的库，无外部依赖，旨在用作 C 程序中的扩展和脚本语言。除了支持轻量级基于虚拟机的线程外，每个虚拟机本身都在独立的堆中运行，允许多个虚拟机同时执行……

提供 17 个替代方案

Hare 是一种系统编程语言，旨在简单、稳定且可靠。Hare 使用静态类型系统、手动内存管理以及最小的运行时环境。它非常适合用于编写操作系统、系统工具、编译器、网络软件及其他底层程序……

提供 10 个替代方案

KBasic 是一种功能强大的编程语言，简单直观且易于学习。它是一种新型编程语言，是 BASIC 语言的进一步发展，与 VB.NET™、Visual Basic®、Visual Basic for Application® 和 Java™ 相关。

提供 10 个替代方案

Fortran（以前称为FORTRAN，源自公式翻译系统）是一种通用的、面向过程的编程语言，特别适用于数值计算和科学计算。

提供 23 个替代方案

Asymptote 是一种功能强大的描述性矢量图形语言，提供了基于坐标的自然框架，适用于技术绘图。标签和方程使用 LaTeX 排版，以实现高质量的 PostScript 输出。

提供 7 个替代方案

Doronix 数学工具箱是一种数值计算环境及编程语言，可作为 MATLAB 的替代方案。它支持矩阵运算、函数和数据绘图、算法实现、用户自定义函数创建以及 CSV 文件的导入导出等功能。

提供 53 个替代方案

Altair Compose 用于执行多种数学与线性代数运算（包括矩阵分析和微分方程）、滤波信号、通过数据拟合多项式、近似或验证仿真软件的结果，以及进行优化。

提供 7 个替代方案

Imba 是一种用于构建具有惊人性能的 Web 应用程序的编程语言。你可以在服务器和客户端上使用它。

Squeak 是一种现代的、开源的、功能完整的强大 Smalltalk 编程语言及其环境的实现。

塞内加尔是一种强大、小巧而快速、支持并发、基于类且动态类型的编程语言，具有现代语法。

Lean 是一种基于依赖类型理论的函数式编程语言和交互式定理证明器。依赖类型理论将程序与证明的世界统一起来，因此 Lean 也是一种编程语言。

用于编写快速、可移植音频软件的编程语言。一种专为编写DSP信号处理代码而设计的C族语言。

TinyScheme 是一个轻量级的 Scheme 解释器，实现了尽可能多的 R5RS 子集，而无需变得过大或复杂。它旨在作为其他程序的嵌入式脚本解释器使用。

与C/C++类似，Terra是一种静态类型、编译型语言，具有手动内存管理。但与C/C++不同的是，Terra从一开始就被设计为可由Lua进行元编程。

Blang 是一种开源的轻量级高级面向对象编程语言。它的语法与 C 和 Python 非常不同。参数由空格分隔，而非逗号。几乎不存在冒号、分号、花括号或方括号。

ooc 的诞生源于编写跨平台应用程序的渴望，其语法简洁明了，并生成原生二进制文件，而非依赖可下载的运行时。