etcd 是一个高可用的 Key/Value 存储系统，主要用于分享配置和服务发现。etcd 的灵感来自于 ZooKeeper 和 Doozer，侧重于：简单：支持 curl 方式的用户 API (HTTP+JSON)；安全：可选 SSL 客户端证书认证；快速：单实例可达每秒 10000 次写操作；可靠：使用 Raft 实现分布式

etcd 是一个高可用的 Key/Value 存储系统，主要用于分享配置和服务发现。etcd 的灵感来自于 ZooKeeper 和 Doozer，侧重于：简单：支持 curl 方式的用户 API (HTTP+JSON)；安全：可选 SSL 客户端证书认证；快速：单实例可达每秒 10000 次写操作；可靠：使用 Raft 实现分布式

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

Dart是谷歌开发的计算机编程语言，后来被Ecma (ECMA-408)认定为标准。它被用于web、服务器、移动应用和物联网等领域的开发。它是宽松开源许可证（修改的BSD证书）下的开源软件。 Dart是面向对象的、类定义的、单继承的语言。它的语法类似C语言，可以转译为JavaScript，支持接口(interfaces)、混入(mixins)、抽象类(abs...

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

超级账本（hyperledger）是Linux基金会于2015年发起的推进区块链数字技术和交易验证的开源项目，加入成员包括：荷兰银行（ABN AMRO）、埃森哲（Accenture）等十几个不同利益体，目标是让成员共同合作，共建开放平台，满足来自多个不同行业各种用户案例，并简化业务流程。由于点对点网络的特性，分布式账本技术是完全共享、透明和去中心化的，故非常...

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

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

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

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