雷思软件

Travis CI 是领先的持续集成与交付服务提供商，能够帮助软件开发团队自信地测试和部署应用程序。团队可以轻松地将其云平台项目与 Travis CI 同步，几分钟内即可开始代码测试。

Fluxbox 是一个基于 Blackbox 0.61.1 代码的 X 窗口管理器。它资源占用极少，易于使用，同时功能齐全，能够带来简便且极其快速的桌面体验。它使用 C++ 编写，采用 MIT 许可证。

I2P（不可见互联网协议）是一种通用的匿名网络层。通过 I2P 进行的所有通信都是匿名且端到端加密的，参与者不会暴露其真实的 IP 地址。

提供 82 个替代方案

G'MIC 是一个功能完整的开源图像处理框架，以 CeCILL 自由软件许可证（LGPL 类似和/或 GPL 兼容）发布。它提供了多种不同的用户界面，用于转换/操作/过滤/可视化通用图像数据集……

即用型无线网状网络套件，利用日常设备（如电脑和智能手机）的强大功能，构建民主化、非中心化的网状网络。

Z3 是来自微软研究院的定理证明器。

Undercover10 是一个小型程序，可轻松打印蓝光、DVD 和 CD 封面。它支持 JPEG、GIF、PNG 和 BMP 格式，并可自动将蓝光、DVD、CD、游戏机封面以及 CD/DVD 标签缩放至正确尺寸。

一个面向C/C++程序员的平台无关的2D游戏编程框架，依赖极少，便于移植，专注于简洁的API调用，满足商业程序员的需求。

Nodecast是一款使用BitTorrent协议并基于qBittorrent代码的文件共享软件。它旨在通过使用球体界面并尊重个人隐私，实现真正的简洁。