RankPL是一种建模语言，旨在通过将“正常”与“令人惊讶”事件区分开来，表现出无法表达的不确定性。"
RankPL是一种建模语言，旨在通过将“正常”与“令人惊讶”事件区分开来，表现出无法表达的不确定性。"
F* (发音 Fstar) 是一种用于程序验证的 ML 系语言，它的类型系统包括："
PileMd是一种易于使用的笔记应用程序，支持Markdown标记语言，旨在帮助你管理你的备忘录。
Emojicode是一种开源的，拥有多范型的结构和流程的语言，可以让你用 Emoji 表情来编写程序。
DynJS 是一个在 JVM 上实现的 ECMAScript 运行环境。
tasksh是taskwarrior的一个shell，为列表管理提供更加真实的环境。它有一个新的审查功能，即shell执行命令，并且支持libreadline。"
Ciao 是一个用于一般用途的编程语言，支持逻辑、常量、函数、高阶和面向对象编程风格。提供强大的表达式、可扩展性、安全性和可靠性。"
Jisp 是一个类似 Lisp 的脚本语言，可方便的编译成 JavaScript。"
StrivML 是一个轻量级标识语言，语法直观"
zygomys 是一种可嵌入的脚本语言。 它是一个具有面向对象风格的现代化 Lisp，提供了一个解释器和 REPL（Read-Eval-Print-Loop；也就是说，它带有一个命令行交互界面）。zygomys 允许您创建一个特定语言来驱动您的程序，十分方便。
