Linux

Agda

Agda

Agda是一种从属类型的函数式编程语言。它具有归纳族，即依赖于值的数据类型，例如给定长度的向量类型。
Nestopia

Nestopia

Nestopia是一款用C ++编写的NES模拟器，非常适合需要精确计时的游戏，因为它具有非常精确的周期。
VICE

VICE

VICE是在Unix，MS-DOS，Win32，OS / 2，Acorn RISC OS，BeOS，QNX 4.x，QNX 6上运行的程序。
NX Software Center

NX Software Center

Psensor

Psensor

Psensor是用于Linux的图形硬件温度监控器。
cli-visualizer

cli-visualizer

Ubuntu Phone

Ubuntu Phone

Ubuntu现在可以在手机上运行。
The Escapists

The Escapists

Zcoin

Zcoin

Zerocoin协议启用的私人金融交易。比特币研究中最突破性的学术发展之一。
Notify OSD

Notify OSD

Cockpit Project

Cockpit Project

通过网络浏览器轻松管理Linux服务器。它使您可以轻松地执行简单的任务，例如存储管理，检查日志，启动和停止服务，一次监视和管理多个服务器。
Darcy Ripper

Darcy Ripper

Dead Space

Dead Space

《死亡空间》是一款适用于Microsoft Windows，PlayStation 3和Xbox 360的生存恐怖的第三人称射击视频游戏。
Dictandu

Dictandu

Staimusic

Staimusic

Staimusic是免费的流音乐服务。探索新音乐，收听选定的播放列表，并让音乐历经数年。您不厌倦了同样平淡无奇的商业广播吗？
YouTrack

YouTrack

YouTrack是一个基于Web的，以键盘为中心的问题和错误跟踪器。仅需两个简单的控件即可处理问题，并享受闪电般的快速错误跟踪和错误报告！
Themonospot

Themonospot

themonospot是一个简单的应用程序，可用于扫描多媒体文件并提取有关音频和视频流的某些信息：*使用的视频编解码器
Gmvault

Gmvault

随意备份和还原您的Gmail帐户。解放您的电子邮件，永不失去生命的那一部分。将所有电子邮件备份到磁盘上。
Ubiquo

Ubiquo

Ruby on Rails CMS
tripcake

tripcake

tripcake是一款易于使用的网络应用，可帮助用户与亲朋好友计划和预订下一次旅行。