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

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

wangEditor 是一款使用 Typescript 开发的 Web 富文本编辑器， 轻量、简洁、易用、开源免费。兼容常见的 PC 浏览器：Chrome，Firefox，Safar，Edge，QQ 浏览器，IE11。

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

Apache Hop（Hop Orchestration Platform）是一个灵活、元数据驱动的数据编排、工程和集成平台的基于Java的可视化设计器、服务器和配置工具。

小菜学编程，跟着小菜一起学习Linux！

Martini是一个强大为了编写模块化Web应用而生的GO语言框架.

Erlang是一门被设计用于编写并发、实时、分布式系统的新语言。

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

Rust 是一门注重安全（safety）、速度（speed）和并发（concurrency）的现代系统编程语言。Rust 通过内存安全来实现上述目标，但不用垃圾回收机制（Garbage collection, GC)。