Jabaco

Wolfram语言是一种符号语言，专为具备开发强大程序所需的广度和统一性而设计。通过集成高级形式（如Image、GeoPolygon或Molecule）以及先进的超函数（如ImageIdentify或...）

Haxe 是一个开源工具包，基于一种现代的高级静态类型编程语言，配备先进的极速跨平台编译器、完整的跨平台标准库，以及访问各平台原生功能的方法。

Clojure 是一种动态编程语言，针对 Java 虚拟机（以及 CLR）而设计。它旨在成为一种通用语言，兼具脚本语言的易用性和交互式开发特性，同时提供高效且稳健的基础架构……

HolyC与普通的C语言非常相似，因此它是一种简单而强大的语言。它被用于构建了整个TempleOS，所以毫无疑问它可以用来编写程序。

Groovy 是一种适用于 Java 虚拟机（JVM）的敏捷动态语言。

Scala 是一种基于 Java 虚拟机（JVM）的现代多范式编程语言，旨在以简洁、优雅且类型安全的方式表达常见的编程模式。

一种快速、友好且功能强大的语言。

Objective-C 语言是一种简单的计算机语言，旨在实现复杂的面向对象编程。Objective-C 被定义为对标准 ANSI C 语言的一组小型但功能强大的扩展。