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

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

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

一个基于 Weex 的富交互、轻量级、高性能的 UI 组件库.

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

Facebook 开源的数据查询引擎，可对250PB以上的数据进行快速地交互式分析，查询的速度达到商业数据仓库的级别。据称该引擎的性能是 Hive 的 10 倍以上。

G6 是一个图可视化引擎。它提供了图的绘制、布局、分析、交互、动画等图可视化的基础能力。旨在让关系变得透明，简单。让用户获得关系数据的 Insight。

简约至上：交互式设计四策略（Simple and Usable Web,Mobile, and Interaction Design）笔记

Seaborn是基于matplotlib的图形可视化python包。它提供了一种高度交互式界面，便于用户能够做出各种有吸引力的统计图表。

ECharts是一款由百度前端技术部开发的，基于Javascript的数据可视化图表库，提供直观，生动，可交互，可个性化定制的数据可视化图表。