Yearning MYSQL SQL语句审核平台。提供查询审计，SQL审核等多种功能

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

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

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

rqlite，一个使用Go语言开发的轻量级的分布式数据库，它使用SQLite作为后端存储引擎，可以通过HTTP API进行访问，具有高可用性和可扩展性。

这个教程比较好的地方是，能讲解每一段代码的含义。 虽然PyQt的函数命名已经非常语义化了，但是对于新手来说，有这一步还是更好的。

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

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

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

致力于开发轻量化、语义化、扩展性强的Web UI框架