轻量级的渐进式小程序开发框架，专注于小程序原生开发，提供更好的工程化、代码复用能力，提高开发效率并改善开发体验。wxa 是一个AOP框架，通过预编译和运行时动态代理实现对小程序实例方法的拦截、改写、新增等操作。

proto3 是 google protocol buffer 的新版本。Protobuf是一种灵活高效的,用于序列化结构化数据的机制,类似于XML,但比XML更小,更快,更简单。Protobuf序列化为二进制数据,不依赖于平台和语言,同时具备很好的兼容性。

L7 是由蚂蚁金服 AntV 数据可视化团队推出的基于 WebGL 的开源大规模地理空间数据可视分析开发框架。L7 中的 L 代表 Location，7 代表世界七大洲，寓意能为全球位置数据提供可视分析的能力。L7 以图形符号学为理论基础，将抽象复杂的空间数据转化成 2D、3D 符号，通过颜色、大小、体积、纹理等视觉变量实现丰富的可视化表达。

Atlas 是由阿里巴巴移动团队自研的手机淘宝安卓客户端容器化框架，以容器化思路解决大规模团队协作问题，实现并行开发、快速迭代和动态部署，适用于 Android 4.x 以上系统版本的大小型 App 开发。

支付宝小程序是一种全新的开放模式，它运行在支付宝客户端，是手机应用嵌入支付宝客户端的一种方法。支付宝小程序开放给开发者更多的 JS API 和 OpenAPI，也可以提供给用户多样化的便捷服务。支付宝小程序可以被便捷地获取和传播，从而为终端用户提供更优的用户体验。

此手册主要实现的目标：代码一致性和最佳实践。通过代码风格的一致性，降低维护代码的成本以及改善多人协作的效率。同时遵守最佳实践，确保页面性能得到最佳优化和高效的代码。 此手册是在开发中积累下来的经验和参考其它规范/指南制定的，它只是起指导作用，除个别条目强制之外，大多数为非强制约束，开发者可根据自己的实际情况自行决定是否要遵守 该指南只是保证大方向一致性和最...

SOAR(SQL Optimizer And Rewriter)是一个对SQL进行优化和改写的自动化工具。 由小米人工智能与云平台的数据库团队开发与维护。

四大提供代码托管服务的网站：Google Code，CodePlex，SourceForge，Github。Google Code有全球最大的互联网公司谷歌作后台，CodePlex有全球最大的软件公司微软作后台，SourceForge此前一直是是全球最大开源软件开发平台和仓库，Github以相对弱小的姿态，在强敌环伺的时代，不仅没有慢慢销声匿迹，反而一骑绝尘...

开发者可以使用云开发开发微信小程序、小游戏，无需搭建服务器，即可使用云端能力。云开发为开发者提供完整的原生云端支持和微信服务支持，弱化后端和运维概念，无需搭建服务器，使用平台提供的 API 进行核心业务开发，即可实现快速上线和迭代，同时这一能力，同开发者已经使用的云服务相互兼容，并不互斥。

智能小程序基本开发思路类似于前端开发，并增强调用大量端能力，性能体验优于普通 Web 。上层架构基于 JS 开发，可以辅助开发者进行良好的开发。智能小程序为开发者提供了 MVVM 的开发方式。JS 状态的变更引起视图的变化，视图的变更也可以反馈到逻辑层的状态中，开发者开发更加方便。