Lua编程入门，学习Lua过程中的一些笔记整理

JavaScript 编程精解 中文第三版

Liquid 由微众银行区块链团队开发并完全开源，是一种嵌入式领域特定语言（ embedded Domain Specific Language，eDSL），能够用来编写运行于区块链底层平台FISCO BCOS的智能合约。

uni-app 是一个使用 Vue.js 开发所有前端应用的框架，开发者编写一套代码，可发布到iOS、Android、H5、以及各种小程序（微信/支付宝/百度/头条/QQ/钉钉）等多个平台。

✔️ TypeScript语言用于大规模应用的JavaScript开发。 ✔️ TypeScript支持类型，是JavaScript的超集且可以编译成纯JavaScript代码。 ✔️ TypeScript兼容所有浏览器，所有宿主环境，所有操作系统。 ✔️ TypeScript是开源的。

Go 语言实战: 编写可维护 Go 语言代码建议

本教程介绍 Linux 命令行 Bash 的基本用法和脚本编程。

Go 零基础编程入门教程，带你零基础学习Go语言。

NutsDB是纯Go语言编写一个简单、高性能、内嵌型、持久化的key-value数据库。

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