FFmpeg是一套可以用来记录、转换数字音频、视频，并能将其转化为流的开源计算机程序。采用LGPL或GPL许可证。它提供了录制、转换以及流化音视频的完整解决方案。它包含了非常先进的音频/视频编解码库libavcodec，为了保证高可移植性和编解码质量，libavcodec里很多code都是从头开发的。

SOP(Simple Open Platform)是一个开放平台解决方案项目，基于 Spring Cloud 实现，目标是能够让用户快速得搭建起自己的开放平台。SOP 提供了两种接口调用方式，分别是：支付宝开放平台的调用方式和淘宝开放平台的调用方式。 通过简单的配置后，你的项目就具备了和支付宝开放平台的一样的接口提供能力。SOP 封装了开放平台大部分功能包括...

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

Rust 是一种系统编程语言。 它有着惊人的运行速度，能够防止段错误，并保证线程安全。

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

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

Apache Shiro是一个开源安全框架，提供身份验证、授权、密码学和会话管理。Shiro框架直观、易用，同时也能提供健壮的安全性。

Crane 是一个基于 FinOps 的云资源分析与成本优化平台。它的愿景是在保证客户应用运行质量的前提下实现极致的降本。

Crane 是一个基于 FinOps 的云资源分析与成本优化平台。它的愿景是在保证客户应用运行质量的前提下实现极致的降本。

Zebra 微服务开发框架，国信证券在微服务架构和 CNCF 上的实践，基于 JDK 1.8和 SpringBoot 的基础上进行研发，让有相同目标方向的尽量少走弯路。