F# (programming language)

MicroPython

编程语言

MicroPython旨在实现Python 3.4标准（包含后续版本的部分特性）的语言语法，其大部分功能与docs.python.org上“语言参考”文档所描述的内容相同。

Odin

编程语言

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

Nelua

编程语言

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

P

编程语言

P 是由微软和加州大学伯克利分校共同开发的一种用于异步事件驱动编程和物联网的编程语言。

Beef Programming Language

编程语言

Beef 是一种开源的、面向性能的编译型编程语言，其开发与集成开发环境（IDE）同步进行。

Luau

编程语言

★5

Luau（小写u，/ˈluː.ɑː/）是一种快速、轻量、安全且支持渐进类型系统的可嵌入脚本语言，源自Lua。

IronPython

编程语言

IronPython 是在 .NET 和 Silverlight 下运行的 Python 编程语言实现。它支持具有完全动态编译功能的交互式控制台。它与 .NET Framework 的其余部分紧密结合，并可使用所有 .

F*

编程语言

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