Python 是一种易于学习又功能强大的编程语言。它提供了高效的高级数据结构，还能简单有效地面向对象编程。Python 优雅的语法和动态类型，以及解释型语言的本质，使它成为多数平台上写脚本和快速开发应用的理想语言。

Julia 是一个面向科学计算的高性能动态高级程序设计语言。其语法与其他科学计算语言相似。在许多情况下拥有能与编译型语言相媲美的性能。Julia 是个灵活的动态语言，适合科学和数值计算，性能可与传统静态类型语言媲美。

Julia 是一个面向科学计算的高性能动态高级程序设计语言。其语法与其他科学计算语言相似。在许多情况下拥有能与编译型语言相媲美的性能。Julia 是个灵活的动态语言，适合科学和数值计算，性能可与传统静态类型语言媲美。

Python 是一种易于学习又功能强大的编程语言。它提供了高效的高级数据结构，还能简单有效地面向对象编程。Python 优雅的语法和动态类型，以及解释型语言的本质，使它成为多数平台上写脚本和快速开发应用的理想语言。

GIMP是一款开源免费的图像处理软件，提供了丰富的图像编辑和创作功能，类似于专业的Photoshop，但更轻便易用。

Godot是一个全新开发的游戏引擎，其功能集类似知名的跨平台游戏引擎Unity，可用于开发PC、主机、移动和Web游戏。

Godot是一个全新开发的游戏引擎，其功能集类似知名的跨平台游戏引擎Unity，可用于开发PC、主机、移动和Web游戏。

Godot是一个全新开发的游戏引擎，其功能集类似知名的跨平台游戏引擎Unity，可用于开发PC、主机、移动和Web游戏。

QQ 小游戏是腾讯QQ推出的类似微信小游戏的小程序开发服务，轻便快捷的开发模式，还能在QQ内被轻松获取和传播

Agda，一种依赖类型编程语言/交互式定理证明器。