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

Mpx是一款致力于提高小程序开发体验的增强型小程序框架，通过Mpx，我们能够最先进的web开发体验(Vue + Webpack)来开发生产性能深度优化的小程序，Mpx具有以下一些优秀特性：数据响应特性(watch / computed)；增强的模板语法(动态组件 / 样式绑定 / 类名绑定 / 内联事件函数 / 双向绑定 等)；深度性能优化(原生自定义组件/...

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

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

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

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

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

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

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

行为验证码（滑动拼图、点选文字），前后端（java）交互，包含 h5/flutter/uni-app 的源码和实现。