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

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

一本給初學者的 React 中文入門教學書，由淺入深學習 ReactJS 生態系 (Flux, Redux, React Router, ImmutableJS, React Native, Relay/GraphQL etc.)，打造跨平台應用程式。

Istio 是一个由谷歌、IBM 与 Lyft 共同开发的开源项目，旨在提供一种统一化的微服务连接、安全保障、管理与监控方式。

这是对Node.js最佳实践中排名最高的内容的总结和分享。当前，超过50个最佳实现，样式指南，架构建议已经呈现。

这个工具链 (GitBook) 是一个使用 Git 和 Markdown 来构建书籍的工具。它可以将你的书输出很多格式：PDF，ePub，mobi，或者输出为静态网页。

Git 是 Linus Torvalds 开发的一个开放源码的分布式版本控制系统。

San，是一个 MVVM 的组件框架。它体积小巧（13K），兼容性好（IE6），性能卓越，是一个可靠、可依赖的实现响应式用户界面的解决方案。

ClickHouse，俄罗斯第一大搜索引擎Yandex开发的列式储存数据库. 令人意外的是，性能大幅超越了很多商业MPP数据库软件,比如Vertica,InfiniDB.

优达学城（Udacity）前端样式指南