JFinal 是基于Java语言的极速WEB + ORM 开发框架，其核心设计目标是开发迅速、代码量少、学习简单、功能强大、轻量级、易扩展、Restful。

HAProxy是一个使用C语言编写的自由及开放源代码软件，其提供高可用性、负载均衡，以及基于TCP和HTTP的应用程序代理。

快速且轻松的学习Go语言。

go 语言框架 gin 的中文文档

cocker，用C语言完全自研的容器引擎（对标Docker、阿里Pouch）

阮一峰老师 C 语言入门教程。

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

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

PHPOK企业站系统（下述称“系统”或“本系统”）是一套使用PHP语言及MySQL数据库编写的企业网站建设系统，基于LGPL协议开源授权！

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