ArangoDB是ArangoDB GmbH开发的免费开源本机多模型数据库系统。数据库系统支持三种数据模型，一种数据库核心和一种统一的查询语言AQL。查询语言是声明性的，允许在单个查询中组合不同的数据访问模式。 ArangoDB是一个NoSQL数据库系统，但AQL在很多方面与SQL类似。

Git是一个开源免费的分布式版本控制系统，旨在快速高效地处理从小型到大型项目的所有内容。Git 易于学习， 具有闪电般的快速性能。它具有诸如Subversion，CVS，Perforce和ClearCase之类的SCM工具，并且具有廉价的本地分支，方便的暂存区域和 多个工作流等功能。

TiKV 是一个开源的分布式事务 Key-Value 数据库，支持跨行 ACID 事务，同时实现了自动水平伸缩、数据强一致性、跨数据中心高可用和云原生等重要特性，最初由 PingCAP 团队在 2016 年作为 TiDB 的底层存储引擎设计并开发，于 2018 年 8 月被 CNCF 宣布接纳为 CNCF 沙箱云原生项目。

MyBatis 是一款优秀的持久层框架，它支持自定义 SQL、存储过程以及高级映射。MyBatis 免除了几乎所有的 JDBC 代码以及设置参数和获取结果集的工作。MyBatis 可以通过简单的 XML 或注解来配置和映射原始类型、接口和 Java POJO（Plain Old Java Objects，普通老式 Java 对象）为数据库中的记录。

Træfɪk 是一个新型的 http 反向代理、负载均衡软件，能轻易的部署微服务，它支持多种后端 (Docker, Swarm, Mesos/Marathon, Consul, Etcd, Zookeeper, BoltDB, Rest API, file...) ，可以对配置进行自动化、动态的管理。

Træfɪk 是一个新型的 http 反向代理、负载均衡软件，能轻易的部署微服务，它支持多种后端 (Docker, Swarm, Mesos/Marathon, Consul, Etcd, Zookeeper, BoltDB, Rest API, file...) ，可以对配置进行自动化、动态的管理。

Træfɪk 是一个新型的 http 反向代理、负载均衡软件，能轻易的部署微服务，它支持多种后端 (Docker, Swarm, Mesos/Marathon, Consul, Etcd, Zookeeper, BoltDB, Rest API, file...) ，可以对配置进行自动化、动态的管理。

Arthas 是Alibaba开源的Java诊断工具，深受开发者喜爱。Arthas支持JDK 6+，采用命令行交互模式，同时提供丰富的 Tab 自动补全功能，进一步方便进行问题的定位和诊断。

Træfɪk 是一个新型的 http 反向代理、负载均衡软件，能轻易的部署微服务，它支持多种后端 (Docker, Swarm, Mesos/Marathon, Consul, Etcd, Zookeeper, BoltDB, Rest API, file...) ，可以对配置进行自动化、动态的管理。

Dart是面向对象的、类定义的、单继承的语言。它的语法类似C语言，可以转译为JavaScript，支持接口(interfaces)、混入(mixins)、抽象类(abstract classes)、具体化泛型(reified generics)、可选类型(optional typing)和sound type system。