Mars 是一个声明式API编程框架，可以帮助你很快的建立后端服务接口。你可以专注在业务逻辑上，而不需要花太多时间去写Controller和DAO。我们甚至没有Controller的概念。

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

Hamler 是一门构建在 Erlang 虚拟机(VM)上的 Haskell 风格的强类型(Strongly-typed)编程语言，独特地结合了编译时的类型检查推导，与对运行时高并发和软实时能力的支持。

EMQ X 是基于 Erlang/OTP 平台开发的开源物联网 MQTT 消息服务器。Erlang/OTP 是出色的软实时、低延时、分布式语言平台。MQTT 是轻量的、发布订阅模式的物联网消息协议。

这是 Kubernetes 文档的参考部分，内容包括：PI 参考、API 客户端库、CLI 参考、配置参考、设计文档。

NutUI是一套京东风格的 Vue2 移动端组件库，开发和服务于移动Web界面的企业级产品。

gulp 是基于 node 实现 Web 前端自动化开发的工具，利用它能够极大的提高开发效率。

整理Python中正则表达式re模块，解释常见正则函数的含义、语法，以及给出详细的例子详尽阐述具体如何使用。常见正则函数包括re.search、re.sub、re.match、re.findall、re.finditer等，最后总结出相关心得。

此教学将对 Scala 语言以及编译器做一个简易介绍。面向的读者为具有编程经验，并且想简单了解 Scala 的人。本文假设读者有着基本的、最好是 Java 上的面向对象知识。

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