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

Elixir 是一个基于 Erlang 虚拟机的函数式、面向并行的通用编程语言。Elixir 以 Erlang 为基础，支持分布式、高容错、实时应用程序的开发，同时亦对其进行扩展使之借助宏实现元编程，并通过协议支持多态。

这个世界上有那么多种编辑器，为什么你要花时间学习和使用 Atom 呢？虽然 Sublime 和 TextMate 之类的编辑器已经非常好用了，但它们仅提供了很有限的拓展性。而在另一个极端，Emacs 和 Vim 提供了灵活的拓展性，但它们并不是很友好，需要使用专用的编程语言来配置和拓展。

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

本参考手册描述了 Python 的语法和“核心语义”。本参考是简洁的，但试图做到准确和完整。 非必要的内建对象类型和内建函数、模块的语义描述在 Python 标准库 中。有关该语言的非正式介绍，请参阅 Python 教程 。对 C 或 C++ 程序员，还有两个额外的手册： 扩展和嵌入 Python 解释器 概述了如何编写一个 Python 扩展模块，Pyth...

本参考手册描述了 Python 的语法和“核心语义”。本参考是简洁的，但试图做到准确和完整。 非必要的内建对象类型和内建函数、模块的语义描述在 Python 标准库 中。有关该语言的非正式介绍，请参阅 Python 教程 。对 C 或 C++ 程序员，还有两个额外的手册： 扩展和嵌入 Python 解释器 概述了如何编写一个 Python 扩展模块，Pyth...

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

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

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

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