雷思软件

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

Leporello.js 是一个用于 JavaScript 的交互式函数式编程环境。

CodeWorld 是一个你可以使用数学、形状、颜色和变换来构建和创作图形、动画，甚至单人和多人视频游戏的环境。这是用数学来编程计算机。