Pony 是一个面向对象的基于 Actor 模型的安全而且高性能的编程语言。Pony 提供 Sublime 和 Atom 编辑插件，同时很快将提供 vim 和 Visual Studio 支持。可使用 LLDB 和 GDB 进行调试。

朋也社区，Java语言编写的社区（论坛）系统.

Mpx 是滴滴开源的一款致力于提高小程序开发体验的增强型小程序框架，通过 Mpx ，我们能够最先进的 web 开发体验 (Vue + Webpack) 来开发生产性能深度优化的小程序，Mpx 具有以下一些优秀特性：数据响应特性 (watch/computed)；增强的模板语法(动态组件/样式绑定/类名绑定/内联事件函数/双向绑定等)；深度性能优化(原生自定义...

HAProxy是一个使用C语言编写的自由及开放源代码软件，其提供高可用性、负载均衡，以及基于TCP和HTTP的应用程序代理。

HAProxy是一个使用C语言编写的自由及开放源代码软件，其提供高可用性、负载均衡，以及基于TCP和HTTP的应用程序代理。

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

Atom 是github专门为程序员推出的一个跨平台文本编辑器。具有简洁和直观的图形用户界面，并有很多有趣的特点：支持CSS，HTML，JavaScript等网页编程语言。它支持宏，自动完成分屏功能，集成了文件管理器。

PHPOK企业站系统（下述称“系统”或“本系统”）是一套使用PHP语言及MySQL数据库编写的企业网站建设系统，基于LGPL协议开源授权！

Clojure是Lisp编程语言在Java平台上的现代、动态及函数式方言。 与其他Lisp一样，Clojure视代码为数据且拥有一套Lisp宏系统。 其开发过程当前由社区驱动， 其作者里奇·希基则以终身仁慈独裁者的身份进行监督。 Clojure提倡不可变性与持久数据结构并鼓励程序员显式地管理标识及其状态。

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