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 允许您创建一个特定语言来驱动您的程序,十分方便。