mypy 实用工具是一款针对 Python 的静态类型检查程序。它结合了动态类型和静态类型的优点。想必各位读者也知道，Python 是动态类型编程语言。那么 Python 的静态类型检查有何意义呢？且听细细分解。

Elasticsearch是一个基于Lucene的搜索服务器。它提供了一个分布式多用户能力的全文搜索引擎，基于RESTful web接口。Elasticsearch是用Java语言开发的，并作为Apache许可条款下的开放源码发布，是一种流行的企业级搜索引擎。

Reactor 是一个基于 JVM 之上的异步应用基础库。为 Java 、Groovy 和其他 JVM 语言提供了构建基于事件和数据驱动应用的抽象库。Reactor 性能相当高，在最新的硬件平台上，使用无堵塞分发器每秒钟可处理 1500 万事件。

Pony 是一个面向对象的基于 Actor 模型的安全而且高性能的编程语言。Pony 提供 Sublime 和 Atom 编辑插件，同时很快将提供 vim 和 Visual Studio 支持。可使用 LLDB 和 GDB 进行调试。

scikit-learn 是基于 Python 语言的机器学习工具。简单高效的数据挖掘和数据分析工具；可供大家在各种环境中重复使用；建立在 NumPy ，SciPy 和 matplotlib 上；开源，可商业使用 - BSD许可证

Firebird是一个关系数据库，提供可在Linux，Windows，MacOS和各种Unix平台上运行的许多ANSI SQL标准功能。Firebird为存储过程和触发器提供了出色的并发性，高性能和强大的语言支持。

Firebird是一个关系数据库，提供可在Linux，Windows，MacOS和各种Unix平台上运行的许多ANSI SQL标准功能。Firebird为存储过程和触发器提供了出色的并发性，高性能和强大的语言支持。

Elixir 是一个基于 Erlang 虚拟机的函数式、面向并行的通用编程语言。Elixir 以 Erlang 为基础，支持分布式、高容错、实时应用程序的开发，同时亦对其进行扩展使之借助宏实现元编程，并通过协议支持多态。

因为自己对Go底层的东西比较感兴趣，所以抽空在写一本开源的书籍《深入解析Go》。写这本书不表示我能力很强，而是我愿意分享，和大家一起分享对Go语言的内部实现的一些研究。深入理解Go。

OpenGL（全写Open Graphics Library）是指定义了一个跨编程语言、跨平台的编程接口规格的专业的图形程序接口。它用于三维图像（二维的亦可），是一个功能强大，调用方便的底层图形库。