Taro 是一套遵循 React 语法规范的多端统一开发框架，支持用 React 的方式编写一次代码，生成能运行在微信小程序/百度智能小程序/支付宝小程序、H5 与 React Native 等端的应用。

JerryScript是用于资源受限设备（例如微控制器）的轻量级JavaScript引擎。它可以在RAM小于64 KB且闪存小于200 KB的设备上运行。JerryScript的主要特征：完全符合ECMAScript 5.1标准；为ARM Thumb-2编译时，二进制大小为160K；大量优化以降低内存消耗；使用C99编写，以实现最大的可移植性；快照支持将Ja...

Pony 是一个面向对象的基于 Actor 模型的安全而且高性能的编程语言。Pony 提供 Sublime 和 Atom 编辑插件，同时很快将提供 vim 和 Visual Studio 支持。可使用 LLDB 和 GDB 进行调试。

JerryScript是用于资源受限设备（例如微控制器）的轻量级JavaScript引擎。它可以在RAM小于64 KB且闪存小于200 KB的设备上运行。JerryScript的主要特征：完全符合ECMAScript 5.1标准；为ARM Thumb-2编译时，二进制大小为160K；大量优化以降低内存消耗；使用C99编写，以实现最大的可移植性；快照支持将Ja...

JerryScript是用于资源受限设备（例如微控制器）的轻量级JavaScript引擎。它可以在RAM小于64 KB且闪存小于200 KB的设备上运行。JerryScript的主要特征：完全符合ECMAScript 5.1标准；为ARM Thumb-2编译时，二进制大小为160K；大量优化以降低内存消耗；使用C99编写，以实现最大的可移植性；快照支持将Ja...

ReactiveX（简写: Rx） 是一个可以帮助我们简化异步编程的框架。 它拓展了观察者模式。使你能够自由组合多个异步事件，而不需要去关心线程，同步，线程安全，并发数据以及I/O阻塞。 RxSwift 是 Rx 的 Swift 版本。

mypy 实用工具是一款针对 Python 的静态类型检查程序。它结合了动态类型和静态类型的优点。想必各位读者也知道，Python 是动态类型编程语言。那么 Python 的静态类型检查有何意义呢？且听细细分解。

Hamler 是一门构建在 Erlang 虚拟机(VM)上的 Haskell 风格的强类型(Strongly-typed)编程语言，独特地结合了编译时的类型检查推导，与对运行时高并发和软实时能力的支持。

JerryScript是用于资源受限设备（例如微控制器）的轻量级JavaScript引擎。它可以在RAM小于64 KB且闪存小于200 KB的设备上运行。JerryScript的主要特征：完全符合ECMAScript 5.1标准；为ARM Thumb-2编译时，二进制大小为160K；大量优化以降低内存消耗；使用C99编写，以实现最大的可移植性；快照支持将Ja...

JerryScript是用于资源受限设备（例如微控制器）的轻量级JavaScript引擎。它可以在RAM小于64 KB且闪存小于200 KB的设备上运行。JerryScript的主要特征：完全符合ECMAScript 5.1标准；为ARM Thumb-2编译时，二进制大小为160K；大量优化以降低内存消耗；使用C99编写，以实现最大的可移植性；快照支持将Ja...