Halo 是一款、轻快、简洁、功能强大、现代化的使用 Java 开发的个人独立博客系统，给习惯写博客的同学一个更好的选择。

松果时序数据库PinusDB，开源、高性能的时序数据库，简单易用、功能强大、性能优越、安全稳定，轻松处理海量物联网数据

本书是根据最新的ANTLR 4语法编写的简明教程，源于我在阅读《The Definitive ANTLR 4 Reference》时做的读书笔记，增加了部分全新的内容。

DoitPHP是一个简单易用，易于扩展的轻量级PHP框架。运行高效，操作灵活。基于BSD开源协议发布，适用于MVC项目开发。

JFinal 是基于 Java 语言的极速 WEB + ORM 框架，其核心设计目标是开发迅速、代码量少、学习简单、功能强大、轻量级、易扩展、Restful。

Graphin 取名意为 Graph Insight（图的分析洞察），是一个基于 G6 封装的 React 组件库，专注在关系可视分析领域，简单高效，开箱即用。

MQTT是一个客户端服务端架构的发布/订阅模式的消息传输协议。它的设计思想是轻巧、开放、简单、规范，易于实现。这些特点使得它对很多场景来说都是很好的选择，特别是对于受限的环境如机器与机器的通信（M2M）以及物联网环境（IoT）。

Kali Linux，简称Kali，是用于安全攻击的最新Linux发行版。它是BackTrack Linux的后继者。不像多数Linux发行版那样，Kali Linux用于渗透测试。渗透测试是一种通过模拟攻击评估计算机系统或网络安全性的方法。在整本书中，我们将会探索一些Kali Linux所提供的工具。

Zan Proxy是一个用Node.js编写的HTTP代理服务器，可用于修改请求地址和模拟响应数据。它同时也是一个自定义DNS解析和请求监控的工具。 该代理服务器有人性化的界面，简单易用。我们还为开发者提供了高级插件机制来自定义代理行为。

Ring 是一个 Clojure 的 Web 框架，它与 Python 的 WSGI 和 Ruby 的 Rake 非常类似。通过把 HTTP 的细节抽象为简单且模块化的 API，Ring 允许 Web 应用程序由模块化组件构成，这些组件可以在各种应用程序、Web 服务器和 Web 框架之间共享，用来构建类型广泛的应用。