Pike 是一种动态编程语言，其语法类似于 Java 和 C。它易于学习，无需长时间的编译过程，并且具有强大的内置数据类型，能够实现简单而高效的数据显示与操作。

提供 76 个替代方案

r-cade 包是为 Racket 编程语言设计的一个非常简单的游戏引擎，其目标明确且有限：

提供 17 个替代方案

Mojo 编程语言 Mojo 是由 Modular Inc. 开发的一种专用人工智能（AI）编程语言。该语言于2023年5月首次发布，旨在成为 Python 的超集，同时具备 C 语言的性能。

提供 55 个替代方案

Eve 是一种编程语言和集成开发环境，专注于人类程序员而非机器。它采用独特的文档化方法，使程序看起来像包含嵌入代码的文档。程序员通过结构化文本描述代码，而不是使用注释……

提供 17 个替代方案

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

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 个替代方案

在网页浏览器中运行的Logo编程语言解释器。

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

实现了一个方案，提供解释器、编译器、源代码调试器、集成的类Emacs编辑器以及庞大的运行时库。

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

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

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

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

Handel 允许您编写在浏览器中运行的程序，使用 Tone.js 播放乐曲。Handel 专注于提供清晰直观的语法。