开源项目

Doxygen 是一个 C++, C, Java, Objective-C、Python、IDL (CORBA 和 Microsoft flavors)、Fortran、VHDL、PHP、C#和...

这是一个围棋学习免费软件。 本软件具有人机对局、双人对局、对局演示、对局打谱等功能，可选择2-19路棋盘对局，目前已有三步推算的棋力，可作为围棋初学者的辅助学习工具，也可作为围棋爱好者的辅助研究...

Coq 是一款交互式证明辅助工具，采用OCaml开发。Coq提供一套证明系统，可以编写证明，检查证明。Coq也提供一套形式化语言，可编写数学算法、定义、定理。Coq也可以用于程序的正确性证明（比...

PyChmViewer 是一个使用 Python 编写的 CHM 阅读软件，功能上大体和 KchmViewer 相近（目录、索引、搜索、书签），界面使用 PyQt 4 实现（界面和 KchmVi...

Favzone旅游查询系统是一款查询旅游景点的基于Flex3的开源系统，目前为V1.0版本，还有不少问题等待解决，如：中文字体，美观等等! 使用技术：Flex3、Cairngorm框架、Flex...

Mroonga 是一个 MySQL 存储引擎，基于 Groonga，提供完整的全文搜索引擎。

nuster Wiki | English | 中文 | 日本語 基于HAProxy的高性能HTTP缓存服务器和RESTful NoSQL缓存服务器。 中文版更新可能不及时，最新版请参照英文版R...

Code2HTML 是一个用来将各种编程语言的代码转换成HTML文档的工具，目前支持的语言包括： Ada,Awk,C,C++, HTML,Java,JavaScript,m4,Makefile,...

Squid cache（简称为Squid）是一个流行的自由软件（GNU通用公共许可证）的代理服务器和Web缓存服务器。Squid有广泛的用途，从作为网页服务器的前置cache服务器缓存相关请求来...

Varnish Agent 是 Varnish 官方推出的一个小型守护进程用于 Varnish 和其他相关服务之间的通讯，可用于远程控制和监控 Varnish 服务。 使用参数： varni...

LeoCAD是一个用于创建虚拟乐高模型的CAD程序。它是可用的或者在GNU公共许可下自由运行在Windows上，Linux上还有Mac OSX操作系统。 它可以用于创建多步骤的构建指令： 您可以...

Varnish是一款高性能的开源HTTP加速器，挪威最大的在线报纸 Verdens Gang (http://www.vg.no) 使用3台Varnish代替了原来的12台squid，性能居然比...

Cxref 可根据 C 代码生成对应的文档，而且文档之间可相互引用。

许多编程场景（如使用ADO.NET访问数据库）在程序开发中频繁出现，但缺乏组织良好的示例和说明，这恰恰是许多程序员需要的。开发技术社区里的微软技术支持工程师了解到广大开发人员的需求，创办了一个叫...

用于工程设计数值模拟（CAE）的计算机辅助设计 CAD 模型并行预处理器（parallel-preprocessor）软件框架，针对科研，航空航天领域的超大规模产品整体模型（一万个零件以上的装备...

Common Lisp Koans（lisp-koans）是一个语言学习练习程序，类似 ruby koans，python koans 等等。Common Lisp Koans 主要是帮助学习一...

TokuDB 是一个高性能、支持事务处理的 MySQL 和 MariaDB 的存储引擎。TokuDB 的主要特点则是对高写压力的支持。

rdoc是Ruby自动生成文档的工具。 rdoc生成的帮助文件是HTML格式的，rdoc提供“-f chm”命令参数生成chm文档。做成chm模式便于搜索。 rdoc寻找的注释文档格式比较简单，...

xCHM 是跨平台的 CHM 文件查看器。主要特性包括：显示目录、打印页面、改变字体及大小、支持书签和搜索等等。

phpcmsDroid 是一个基于 phpcms 建站系统的 android 客户端，本软件是以南京金地自在城网站为示例做的demo，只包含基本的文章列表，评论查看、发表，用户登录、注销等功能。...