OCaml

Fortran

编程语言

Fortran（以前称为FORTRAN，源自公式翻译系统）是一种通用的、面向过程的编程语言，特别适用于数值计算和科学计算。

Odin

编程语言

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

Nelua

编程语言

Nelua是一种用于性能敏感应用的系统编程语言，例如实时应用和游戏引擎。其语法和语义与Lua相似，但垃圾回收是可选的，它提供可选的类型标注，并且不受……限制。

Gleam Language

编程语言, 编译器

一种用于构建类型安全、可扩展系统的友好语言。

Pike programming language

编程语言

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

Object Pascal 是一种多范式、面向对象、基于组件的通用编程语言。

Buzz Programming Language

编程语言

一种用Zig编写的轻量级静态类型脚本语言。

F*

编程语言

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