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

提供 4 个替代方案

NetLogo 是一种基于代理的编程语言和集成建模环境。NetLogo 的设计秉承 Logo 编程语言的精神，旨在“入门门槛低，无上限”。它通过乌龟、地块等代理形式教授编程概念。

提供 2 个替代方案

OCaml 是一种工业级编程语言，支持函数式、命令式和面向对象的编程风格。

提供 33 个替代方案

Red 是一种新的编程语言，深受 REBOL 的启发。

提供 17 个替代方案

Factor编程语言结合了强大的语言特性与功能齐全的库。其实现完全编译以保证性能，同时仍支持交互式开发。Factor应用程序可在所有常见平台上移植。

提供 33 个替代方案

Io 是一种基于原型的编程语言，受到 Smalltalk（所有值都是对象，所有消息都是动态的）、Self（基于原型）、NewtonScript（差异继承）、Act1（用于并发的参与者和未来对象）以及 LISP（代码是可运行时检查/修改的树结构）的启发。

提供 5 个替代方案

X10编程语言围绕异步性、局部性、原子性和顺序性这四项基本原理构建，其基础是类型安全、基于类的面向对象系统。该基础足够强大，能够支持细粒度并发，以及Cilk风格的……

提供 60 个替代方案

Odin编程语言运行快速、简洁易读、实用且开源。其设计旨在取代C语言，目标如下：

提供 77 个替代方案

用于数值计算和高级统计分析的开源框架，具备非线性曲线拟合、常微分方程求解、一维/二维出版级可视化、傅里叶与小波变换功能，语法直观，并采用命名空间组织代码，适用于科研工作。

提供 69 个替代方案

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

提供 6 个替代方案

RapydScript 是一种 JavaScript 的预编译器，类似于 CoffeeScript，但语法更清晰、更易读。其语法与 Python 非常相似，同时支持 JavaScript。它并非另一种浏览器中的 Python 克隆，而是具有更多 Python 风格的真正 JavaScript...

提供 15 个替代方案

RAPTOR 是一种基于流程图的编程环境。RAPTOR 程序通过可视化方式创建，并通过跟踪流程图中的执行过程进行可视化执行。

提供 1 个替代方案

AngelCode脚本库，也称AngelScript，是一种高度灵活的跨平台脚本库，旨在允许应用程序通过外部脚本扩展其功能。

提供 15 个替代方案

Objective-J 是作为 Cappuccino Web 开发框架的一部分而开发的一种编程语言。它的语法几乎与 Objective-C 完全相同，并且它与 JavaScript 的关系，正如 Objective-C 与……的关系一样。

提供 38 个替代方案

BeanShell 是用 Java 编写的轻量级、免费且可嵌入的 Java 源代码解释器，具备对象脚本语言特性。BeanShell 动态执行标准 Java 语法，并通过松散类型、命令和方法闭包等常见脚本便捷功能对其进行扩展。

提供 7 个替代方案

Guile 是 GNU 通用扩展智能语言，GNU 操作系统的官方扩展语言。它是 Scheme 编程语言的一个实现，支持 Revised5 和大部分 Revised6 语言规范，以及众多 SRFIs。

提供 38 个替代方案

Pyret 是一种编程语言，旨在作为编程教育的优秀选择，同时探索脚本编程与函数式编程的融合。它正处于积极的设计与开发中，且可免费使用或修改。

提供 9 个替代方案

Bosque编程语言是一种在机器辅助的快速可靠软件开发生命周期中进行规范化设计的实验。

提供 50 个替代方案

Quorum 是一种通用工具，我们称之为“基于证据”的编程语言。它最初是一种解释型语言，旨在通过屏幕阅读器为视障或视力受损用户带来更易听的体验。

提供 32 个替代方案

Janet 是一种函数式和命令式编程语言。它可在 Windows、Linux、macOS 上运行，并经过一些移植后应能在其他系统上运行。整个语言（核心库、解释器、编译器、汇编器）大小约为 200-300 KB，应能在许多资源受限的系统上运行。

提供 7 个替代方案