Scheme是一种函数式编程语言，是Lisp的两种主要方言之一。不同于Common Lisp，Scheme遵循极简主义哲学，以一个小型语言核心作为标准，加上各种强力语言工具来扩展语言本身。 麻省理工学院与其他院校曾采用Scheme教授计算机科学入门课程。

OpenCard是搜索面向百度智能小程序开发者推出的全新的合作模式，是原有阿拉丁特型卡的升级版，它继承原有阿拉丁卡片的强样式展现，给搜索用户带来惊喜的满足感。

EasySwoole 是一款基于Swoole Server 开发的常驻内存型PHP框架，专为API而生，摆脱传统PHP运行模式在进程唤起和文件加载上带来的性能损失。EasySwoole 高度封装了Swoole Server 而依旧维持Swoole Server 原有特性，支持同时混合监听HTTP、自定义TCP、UDP协议，让开发者以最低的学习成本和精力编写出...

Apollo（阿波罗）是携程框架部门研发的分布式配置中心，能够集中化管理应用不同环境、不同集群的配置，配置修改后能够实时推送到应用端，并且具备规范的权限、流程治理等特性，适用于微服务配置管理场景。服务端基于Spring Boot和Spring Cloud开发，打包后可以直接运行，不需要额外安装Tomcat等应用容器。

Apollo（阿波罗）是携程框架部门研发的分布式配置中心，能够集中化管理应用不同环境、不同集群的配置，配置修改后能够实时推送到应用端，并且具备规范的权限、流程治理等特性，适用于微服务配置管理场景。服务端基于Spring Boot和Spring Cloud开发，打包后可以直接运行，不需要额外安装Tomcat等应用容器。

SOFATracer 是蚂蚁金服开发的基于 OpenTracing 规范 的分布式链路跟踪系统，其核心理念就是通过一个全局的 TraceId 将分布在各个服务节点上的同一次请求串联起来。通过统一的 TraceId 将调用链路中的各种网络调用情况以日志的方式记录下来同时也提供远程汇报到 Zipkin 进行展示的能力，以此达到透视化网络调用的目的。

Davinci面向业务人员/数据工程师/数据分析师/数据科学家，致力于提供一站式数据可视化解决方案。既可作为公有云/私有云独立使用，也可作为可视化插件集成到三方系统。用户只需在可视化UI上简单配置即可满足多种数据可视化需求，并支持高级交互/行业分析/模式探索/社交智能等可视化功能。

Apache Flink Kubernetes Operator 是一个基于Kubernetes API的控制器，它允许开发者以声明式的方式管理和运行Apache Flink作业，支持在Kubernetes集群中轻松部署、监控、升级、挂起和删除Flink应用程序，实现资源的最大化利用和故障自动恢复。

Apache Flink Kubernetes Operator 是一个基于Kubernetes API的控制器，它允许开发者以声明式的方式管理和运行Apache Flink作业，支持在Kubernetes集群中轻松部署、监控、升级、挂起和删除Flink应用程序，实现资源的最大化利用和故障自动恢复。

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