Web2py是用Python编程语言编写的开源Web应用程序框架。Web2py允许Web开发人员使用Python编写动态Web内容。Web2py旨在帮助减少繁琐的Web开发任务，例如从头开始开发Web表单，尽管Web开发人员可以根据需要从头开始构建表单。Web2py最初被设计为一种教学工具，其重点在于易于使用和部署。

Project V 提供了单一的内核和多种界面操作方式。内核（V2Ray）用于实际的网络交互、路由等针对网络数据的处理，而外围的用户界面程序提供了方便直接的操作流程。

Swift 是一门新的具有创造性的编程语言,可用于 Cocoa 和 Cocoa Touch。利用 Swift 编写的代码充满了交互性和乐趣性，它的语法简洁并富有表现力，开发出的应用程序运行速度快如闪电。Swift 已经为你准备好开发下一个 iOS 和 OS X 项目了 — 当然也可以在当前的项目中使用 — 因为 Swift 代码可以与 Objective-C...

Python是一种解释型、面向对象、动态数据类型的高级程序设计语言。和PHP一样，它是后端开发语言。如果有C语言、PHP语言、JAVA语言等其中一种语言的基础，学习Python入门很容易。本教程基于Python3。

Slim是一款 PHP 微框架，可以帮助你快速编写简单但功能强大的 web 应用和 API 。在它的核心，Slim 是一个调度程序，它接收一个 HTTP 请求，调用一个适当的回调例程，然后返回一个 HTTP 响应。就这样简单。

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

Qt 是一个著名的 C++ 应用程序框架。你并不能说它只是一个 GUI 库，因为 Qt 十分庞大，并不仅仅是 GUI 组件。使用 Qt，在一定程度上你获得的是一个“一站式”的解决方案：不再需要研究 STL，不再需要 C++ 的<string>，不再需要到处去找解析 XML、连接数据库、访问网络的各种第三方库，因为 Qt 自己内置了这些技术。

Linux是一套免费使用和自由传播的操作系统内核，是一个基于POSIX和Unix的多用户、多任务、支持多线程和多CPU的操作系统内核。它能运行主要的Unix工具软件、应用程序和网络协议。它支持32位和64位硬件。Linux继承了Unix以网络为核心的设计思想，是一个性能稳定的多用户网络操作系统内核。

极光以提供更加全面的开发者服务为目标，利用极光推送的数据和网络优势结合更丰富的功能，推出了极光统计（英文：JAnalytics）。极光统计为独立的统计 SDK ，让开发者可以更便捷的集成无需依赖 JPush 可以单独使用。通过简洁直观的数据报表帮助开发者了解用户的属性和使用情况，优化用户体验，为企业决策提供有效的数据支撑。

ko，一个简单、快速的 Go 应用程序容器镜像构建器。