OCaml

Wolfram Language

编程语言, 数值计算软件

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

GDScript

编程语言, 编译器

★5

GDScript 是一种高级动态类型编程语言，用于创建内容。其语法类似于 Python。

Mussel

编程语言

Mussel 是一种用 Rust 编写的解释型编程语言。它被设计为一种简单灵活的语言，注重易读的语法和强大的表达式求值能力。Mussel 支持基本数据类型、变量绑定、函数、闭包、控制流……

Clojure

编程语言, 编译器

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

HolyC

编程语言

★4.5

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

Scala

编程语言, 编译器

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

Erlang

编程语言

★5

一种并发函数式语言，内建支持容错、分布式和热插拔，专为电信、银行、电子商务和即时通讯等可扩展实时系统设计。具备垃圾回收和动态类型特性。

Hare (Programming Language)

编程语言

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