发现各种软件替代方案,找到更适合您的选择
Hy 是一种嵌入 Python 的优秀 Lisp 方言。 由于 Hy 将其 Lisp 代码转换为 Python 抽象语法树,你便能以 Lisp 形式轻松使用整个优雅的 Python 世界!
提供 39 个替代方案
wxBasic 是一个 Basic 解释器,具有以下特点: 免费 开源(LGPL) 跨平台(目前支持 Windows 和 Linux) wxBasic 可通过将源代码与解释器捆绑,生成独立的可执行文件。 wxBasic 主要使用 C 语言编写,部分使用 C++。
提供 11 个替代方案
一个可信的、工业级的交互式定理证明器及依赖类型编程语言,用于数学、计算机科学等领域的机械化推理。
提供 4 个替代方案
NetLogo 是一种基于代理的编程语言和集成建模环境。NetLogo 的设计秉承 Logo 编程语言的精神,旨在“入门门槛低,无上限”。它通过乌龟、地块等代理形式教授编程概念。
提供 2 个替代方案
Red 是一种新的编程语言,深受 REBOL 的启发。
提供 17 个替代方案
Factor编程语言结合了强大的语言特性与功能齐全的库。其实现完全编译以保证性能,同时仍支持交互式开发。Factor应用程序可在所有常见平台上移植。
提供 33 个替代方案
Io 是一种基于原型的编程语言,受到 Smalltalk(所有值都是对象,所有消息都是动态的)、Self(基于原型)、NewtonScript(差异继承)、Act1(用于并发的参与者和未来对象)以及 LISP(代码是可运行时检查/修改的树结构)的启发。
提供 5 个替代方案
X10编程语言围绕异步性、局部性、原子性和顺序性这四项基本原理构建,其基础是类型安全、基于类的面向对象系统。该基础足够强大,能够支持细粒度并发,以及Cilk风格的……
提供 60 个替代方案
Wolfram语言是一种符号语言,专为具备开发强大程序所需的广度和统一性而设计。通过集成高级形式(如Image、GeoPolygon或Molecule)以及先进的超函数(如ImageIdentify或...)
提供 117 个替代方案
F* 是一种类似 ML 的函数式编程语言,旨在实现程序验证。F* 可以表达程序的精确规范,包括功能正确性性质。用 F* 编写的程序可被转换为 OCaml 或 F# 以供执行。
提供 6 个替代方案
RapydScript 是一种 JavaScript 的预编译器,类似于 CoffeeScript,但语法更清晰、更易读。其语法与 Python 非常相似,同时支持 JavaScript。它并非另一种浏览器中的 Python 克隆,而是具有更多 Python 风格的真正 JavaScript...
提供 15 个替代方案
AngelCode脚本库,也称AngelScript,是一种高度灵活的跨平台脚本库,旨在允许应用程序通过外部脚本扩展其功能。
提供 15 个替代方案
Objective-J 是作为 Cappuccino Web 开发框架的一部分而开发的一种编程语言。它的语法几乎与 Objective-C 完全相同,并且它与 JavaScript 的关系,正如 Objective-C 与……的关系一样。
提供 38 个替代方案



















