Presto是Facebook最新研发的数据查询引擎，可对250PB以上的数据进行快速地交互式分析。据称该引擎的性能是 Hive 的 10 倍以上。 PrestoDB 是 Facebook 推出的一个大数据的分布式 SQL 查询引擎。可对从数 G 到数 P 的大数据进行交互式的查询，查询的速度达到商业数据仓库的级别。Presto 可以查询包括 Hive、Ca...

openLooKeng 是一款高性能数据虚拟化引擎，提供统一 SQL 接口，具备跨数据源/数据中心分析能力以及面向交互式、批、流等融合查询场景。同时增强了前置调度、跨源索引、动态过滤、跨源协同、水平拓展等能力。openLooKeng 使用了开源 SQL 引擎 Presto 来提供交互式查询分析基础能力，并继续在融合场景查询、跨数据中心/云、数据源扩展、性能、...

Presto是Facebook最新研发的数据查询引擎，可对250PB以上的数据进行快速地交互式分析。据称该引擎的性能是 Hive 的 10 倍以上。 PrestoDB 是 Facebook 推出的一个大数据的分布式 SQL 查询引擎。可对从数 G 到数 P 的大数据进行交互式的查询，查询的速度达到商业数据仓库的级别。Presto 可以查询包括 Hive、Ca...

openLooKeng 是一款高性能数据虚拟化引擎，提供统一 SQL 接口，具备跨数据源/数据中心分析能力以及面向交互式、批、流等融合查询场景。同时增强了前置调度、跨源索引、动态过滤、跨源协同、水平拓展等能力。openLooKeng 使用了开源 SQL 引擎 Presto 来提供交互式查询分析基础能力，并继续在融合场景查询、跨数据中心/云、数据源扩展、性能、...

Presto是Facebook最新研发的数据查询引擎，可对250PB以上的数据进行快速地交互式分析。据称该引擎的性能是 Hive 的 10 倍以上。 PrestoDB 是 Facebook 推出的一个大数据的分布式 SQL 查询引擎。可对从数 G 到数 P 的大数据进行交互式的查询，查询的速度达到商业数据仓库的级别。Presto 可以查询包括 Hive、Ca...

NodeBB 是下一代讨论平台，使用 web sockets 技术实现了即时交互和实时通知。NodeBB 论坛有很多先进的特性，比如整合社交网络和流式讨论。

MAC全栈开发环境搭建指南 是由 凹凸实验室 整理的，面向互联网全栈职业的MAC开发环境搭建指引手册。它几乎涵盖了使用MAC进行互联网工作的方方面面，包含但不限于通用环境配置、交互及设计、前端开发、后台开发、测试以及部署等各个工作角色、流程步骤所需要的各种软件安装配置指引，奇淫技巧。而目的只有一个：带你用MAC带你装逼带你飞！

Davinci面向业务人员/数据工程师/数据分析师/数据科学家，致力于提供一站式数据可视化解决方案。既可作为公有云/私有云独立使用，也可作为可视化插件集成到三方系统。用户只需在可视化UI上简单配置即可满足多种数据可视化需求，并支持高级交互/行业分析/模式探索/社交智能等可视化功能。

Agda，一种依赖类型编程语言/交互式定理证明器。

Agda，一种依赖类型编程语言/交互式定理证明器。