Selenium IDE 是一款 web UI 自动化测试工具，是基于录制和回放操作的火狐浏览器的插件。本教程是官方资料的翻译。

FFmpeg是一套可以用来记录、转换数字音频、视频，并能将其转化为流的开源计算机程序。采用LGPL或GPL许可证。它提供了录制、转换以及流化音视频的完整解决方案。它包含了非常先进的音频/视频编解码库libavcodec，为了保证高可移植性和编解码质量，libavcodec里很多code都是从头开发的。

Redisson 官方文档中文翻译

CasperJS是一个开源的导航脚本处理和测试工具，基于PhantomJS（前端自动化测试工具）编写。CasperJS简化了完整的导航场景的过程定义，提供了用于完成常见任务的实用的高级函数、方法和语法。

DBFlow是一个功能强大，简单易用的ORM安卓数据库库，他使用了注释处理.这个库速度快，性能高，而且非常易用。它不但消除了大部分繁琐的公式化的数据库操作代码，而且还提交了一套功能强大，简单易用的API。

在这个教程我们讨论一部分scipy.stats模块的特性。这里我们的意图是提供给使用者一个关于这个 包的实用性知识。我们推荐reference manual来介绍更多的细节。

Selenium Python bindings 提供了一个简单的API，让你使用Selenium WebDriver来编写功能/校验测试。 通过Selenium Python的API，你可以非常直观的使用Selenium WebDriver的所有功能。

Raku，原名Perl 6，系perl编程语言家族的成员之一，通用程序设计语言，支持多重编程范式，渐进式类型。Raku主要设计者为拉里·沃尔。作为Perl的后继者，在2000年开始发展，由于接续在Perl 5之后，称为Perl 6，在2019年10月更名为Raku。

因为工作需要学习Elasticsearch, 发现关于Spring-Data-Elasticsearch的文档非常少, 而且没有对应官方文档的中译版本，所以利用早起的空闲时间翻译一下。基于1.3.2.RELEASE版本，如果对Spring Data的其他模块(eg:Spring Data Jpa)比较了解，可以直接看第五章。

随着 Vert.x 在中国越来越受到关注，使用人数也越来越多，但相关的中文文档却寥寥可数，在这样的背景下，Vert.x 中国用户组发动社区内的志愿者翻译 Vert.x 官方文档。