Akka 是一个用 Scala 编写的库，用于在 JVM 平台上简化编写具有可容错的、高可伸缩性的 Java 和 Scala 的 Actor 模型应用，其同时提供了Java 和 Scala 的开发接口。Akka 允许我们专注于满足业务需求，而不是编写初级代码。在 Akka 中，Actor 之间通信的唯一机制就是消息传递。Akka 对 Actor 模型的使用提...

JavaScript 编程精解 中文第三版

ThinkJS 是一款高效、简单易用的 Node.js MVC 框架。基于 ES6 Promise 开发，让异步编程更加简单、方便。

本节内容包含了一个又一个的实用教程，帮助你解决编写 Flutter 应用中的常见问题。

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

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

Codelab 中提供了一系列基于 MIP 的编程小项目，内容包括项目起步、配置教学、功能实现等等

该系列文集主要介绍的是，关于Linux下的Shell编程基础

Google Java编程风格规范 gitbook 版本，内容来至Hastein的中文翻译。

微软开发的一种类似电子表格公式的低代码通用编程语言