Chipmunk2D是一个基于MIT协议的2D刚体物理仿真库。设计宗旨:极快、可移植、稳定、易用。出于这个原因，它已经被用于数百多游戏横跨了几乎所有系统。这些游戏包括了在iPhoneAppStore上的一些顶级出色的如Night Sky等许多TOP1游戏。

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

Wicket 是一个 Java 语言的 Web 开发框架，与 Struts、WebWork、Tapestry 相类似，其特点在于对 Html 和代码进行了有效的分离（有利于程序员和美工的合作），基于规则的配置（减少了 XML 等配置文件的使用），学习曲线较低（开发方式与 C/S 相似），更加易于调试（错误类型比较少，而且容易定位）。

R是用于统计分析、绘图的语言和操作环境。R是属于GNU系统的一个自由、免费、源代码开放的软件，它是一个用于统计计算和统计制图的优秀工具。

ElasticSearch是一个基于Lucene的搜索服务器。它提供了一个分布式多用户能力的全文搜索引擎，基于RESTful web接口。Elasticsearch是用Java开发的，并作为Apache许可条款下的开放源码发布，是当前流行的企业级搜索引擎。设计用于云计算中，能够达到实时搜索，稳定，可靠，快速，安装使用方便。

PyTorch是一个开源的Python机器学习库，基于Torch，底层由C++实现，应用于人工智能领域，如自然语言处理。它最初由Facebook的人工智能研究团队开发，并且被用于Uber的概率编程软件Pyro

KiCad 是一款用于创建电子电路原理图和印刷电路板（PCB）的开源软件套件。 KiCad 支持综合设计工作流程，其中原理图和相应的 PCB 一起设计，也支持特殊用途的独立工作流程。 KiCad 还包括一些帮助电路和 PCB 设计的实用程序，包括用于确定电路结构电气属性的 PCB 计算器、用于检查制造文件的 Gerber 浏览器和用于检查电路行为的集成 SP...

Apache Unomi 是一个基于标准的客户数据平台（CDP，Customer Data Platform），用于管理在线客户和访客等信息，以提供符合访客隐私规则的个性化体验，比如 GDPR 和“不跟踪”偏好设置。其最初于 Jahia 开发，2015 年 10 月提交给了 Apache 孵化器。

DoitPHP是一个简单易用，易于扩展的轻量级PHP框架。运行高效，操作灵活。基于BSD开源协议发布，适用于MVC项目开发。

Grails 框架作者的最新力作，Micronaut 是基于 JVM 的全栈的新一代微服务框架，用于构建模块化的、易于测试的微服务应用。