OpenTracing 是 CNCF 提出的分布式追踪的标准，它提供用厂商中立的 API，并提供 Go、Java、JavaScript、Python、Ruby、PHP、Objective-C、C++ 和 C# 这九种语言的库。

Hprose是一个先进的轻量级的跨语言跨平台面向对象的高性能远程动态通讯中间件。它不仅简单易用，而且功能强大。

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

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

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

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

这个博客系列用Rust编程语言编写了一个小操作系统。每篇文章都是一个小教程，并且包含了所有代码，你可以跟着一起学习。

这个博客系列用Rust编程语言编写了一个小操作系统。每篇文章都是一个小教程，并且包含了所有代码，你可以跟着一起学习。

Python是一种解释型、面向对象、动态数据类型的高级程序设计语言。 Python由Guido van Rossum于1989年底发明，第一个公开发行版发行于1991年。

Hugo是由Go语言实现的静态网站生成器。简单、易用、高效、易扩展、快速部署。Hugo以速度快著称，号称是世界上最快的网站生成框架。