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

CleverGo 一个用 Go 语言编写的轻量级、高性能和功能丰富的 HTTP Web 开发框架。

通过简单的例子，来快速入门Go语言基础编程、语法等各种语言特性，主要面向新手级别的学习者。下面所有例子均来源于网络，看文需谨慎后果自负。

C# 是由微软（Microsoft）开发的一种简单的、现代的、通用的、面向对象的编程语言

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

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

Martian 是一个声明式API编程（DAP）的 Java开发框架，可以帮助你快速的开发后端服务.

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

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

Hana 是一个元编程库，提供异构容器和算法，用于类型和值的计算.