| 软件名称 | 整理日期 | 软件大小 | 下载次数 | 软件等级 |
 libvirt | 2012-07-12 | 20M |
573 |
  |
| libvirt是一套免费、开源的支持Linux下主流虚拟化工具的C函数库，其旨在为包括Xen在内的各种虚拟化工具提供一套方便、可靠的编程接口，支持与C,C++,Ruby,Python等多种主流开发语言的绑定。当前主流Linux平台上默认的... |
| 运行平台：Linux,FreeBSD,i386,x86_64 授权方式：GPL 所属分类：开发工具->开发语言 |
| 软件名称 | 整理日期 | 软件大小 | 下载次数 | 软件等级 |
| kramdown | 2012-07-11 | 264K |
6 |
|
| kramdown 是一个用Ruby实现的Markdown的解析器。Markdown是一种轻量型标记语言， 其目的在于为以网页为载体的文章的排版提供一种较HTML来说更简便、更安全、可读性更强的书写方式。它并不是HTML的替代品，使用Markdo... |
| 运行平台：Linux,FreeBSD 授权方式：GPL 所属分类：开发工具->开发语言 |
| 软件名称 | 整理日期 | 软件大小 | 下载次数 | 软件等级 |
| gprolog | 2012-07-10 | 3.2M |
145 |
|
| Prolog（Programming in Logic的缩写）是一种逻辑编程语言。它建立在逻辑学的理论基础之上， 最初被运用于自然语言等研究领域。现在它已广泛的应用在人工智能的研究中，它可以用来建造专家系统、自然语言理解、智能知... |
| 运行平台：Linux,FreeBSD,UNIX 授权方式：GPL 所属分类：开发工具->开发语言 |
| 软件名称 | 整理日期 | 软件大小 | 下载次数 | 软件等级 |
| axTLS | 2012-07-10 | 1.3M |
3 |
|
| Embedded Web server (名为 Anti-Web)，系统模组化相当不错，可以透过 menuconfig 挑选合适的组态，另外，内建的 Anti-Web 也支援 CGI/PHP，跟前述的 SSL libraries 相比，[axTLS] 在 SSL crypto algorithm 的功能性... |
| 运行平台：Linux,FreeBSD 授权方式：GPL 所属分类：开发工具->开发语言 |
| 软件名称 | 整理日期 | 软件大小 | 下载次数 | 软件等级 |
| execnet | 2012-07-09 | 318K |
5 |
|
| execnet: rapid multi-Python deployment,execnet provides carefully tested means to ad-hoc interact with Python interpreters across version, platform and network barriers. It provides a minimal and fast... |
| 运行平台：Linux,FreeBSD 授权方式：GPL 所属分类：开发工具->开发语言 |
| 软件名称 | 整理日期 | 软件大小 | 下载次数 | 软件等级 |
| hardened patches | 2012-07-07 | 729K |
1252 |
|
| Hardened工具链补丁... |
| 运行平台：Linux,FreeBSD,UNIX,i386,x86_64 授权方式：GPL 所属分类：开发工具->开发语言 |
| 软件名称 | 整理日期 | 软件大小 | 下载次数 | 软件等级 |
| mercury extras | 2012-07-05 | 7.2K |
2929 |
|
| Logic programming languages have been around for more than twenty years. Despite the expected advantages of a very high level programming language based upon well developed theories of logic ove... |
| 运行平台：Linux,FreeBSD,UNIX,i386,x86_64 授权方式：GPL 所属分类：开发工具->开发语言 |
| 软件名称 | 整理日期 | 软件大小 | 下载次数 | 软件等级 |
| astropy | 2012-06-29 | 3.0M |
1 |
|
| astropy is a Python package intended to contain core functionality and some common tools needed for performing astronomy and astrophysics research with Python. It also provides an index for other astr... |
| 运行平台：Linux,FreeBSD 授权方式：GPL 所属分类：开发工具->开发语言 |
| 软件名称 | 整理日期 | 软件大小 | 下载次数 | 软件等级 |
| geany | 2012-06-28 | 3.1M |
31 |
|
| Geany 是一个小型的 C 代码编辑器，使用 GTK2 开发的开发环境。包括语法高亮、代码自动完成、调用提示以及支持其他类型语言的文件包括: C, Java, PHP, HTML, DocBook, Perl, LateX, and Bash), and symbol lists.... |
| 运行平台：Linux,FreeBSD,i386,x86_64 授权方式：GPL 所属分类：开发工具->开发语言 |
| 软件名称 | 整理日期 | 软件大小 | 下载次数 | 软件等级 |
| rails | 2012-06-27 | 3.5M |
1154 |
|
| Rails框架首次提出是在2004年7月，它的研发者是26岁的丹麦人David Heinemeier Hansson。不同于已有复杂的Web 开发框架，Rails是一个更符合实际需要而且更高效的Web开发框架。Rails结合了PHP体系的优点（快速开发... |
| 运行平台：Linux,FreeBSD,UNIX,i386,x86_64 授权方式：GPL 所属分类：开发工具->开发语言 |
| 软件名称 | 整理日期 | 软件大小 | 下载次数 | 软件等级 |
| pep8 | 2012-06-26 | 28K |
12 |
|
| Python有官方的代码风格指导——PEP8,pep8 vim插件规范Python代码.Style Guide for Python Codesudo pip install pep8插件，放到~/.vim/ftplugin/python/目录下打开vim, 输入:filetype，看看plugin是否ON。如果不是，... |
| 运行平台：Linux,FreeBSD 授权方式：GPL 所属分类：开发工具->开发语言 |
| 软件名称 | 整理日期 | 软件大小 | 下载次数 | 软件等级 |
| sip | 2012-06-24 | 718K |
4411 |
|
| SIP是为Python生成C++接口代码的工具，它与 SWIG 类似，但使用不同的接口格式。它用作创建 PyQt 和 PyKDE ，并支持 Qt signal/slot 系统。
SIP is a tool that makes it very easy to create Python bindings for C... |
| 运行平台：Linux,FreeBSD,UNIX,i386,x86_64 授权方式：GPL 所属分类：开发工具->开发语言 |
| 软件名称 | 整理日期 | 软件大小 | 下载次数 | 软件等级 |
| swi prolog | 2012-06-22 | 6.4K |
384 |
|
| SWI-Prolog offers a comprehensive Free Software Prolog environmen,Prolog（Programming in Logic的缩写）是一种逻辑编程语言。它建立在逻辑学的理论基础之上， 最初被运用于自然语言等研究领域。现在它已广泛的应... |
| 运行平台：Linux,FreeBSD,UNIX,i386,x86_64 授权方式：GPL 所属分类：开发工具->开发语言 |
| 软件名称 | 整理日期 | 软件大小 | 下载次数 | 软件等级 |
| sprockets | 2012-06-19 | 132K |
15 |
|
| Sprockets 是一个 Ruby 库，用来检查 JavaScript 文件的相互依赖关系，用以优化网页中引入的js文件，以避免加载不必要的js文件，加快网页访问速度。
安装方法 $gem install --remote sprockets... |
| 运行平台：Linux,FreeBSD,i386,x86_64 授权方式：GPL 所属分类：开发工具->开发语言 |
| 软件名称 | 整理日期 | 软件大小 | 下载次数 | 软件等级 |
| php | 2012-06-17 | 15M |
29158 |
|
| 经过4个RC版,PHP 5.3.9正式版总算发布了。2012-01-11 上一个版本还是2011-08-23的5.3.8 这个版本当然修正了那个hash 碰撞攻击bug.此外还有大量的bug修正，请使用PHP 5.3的同学尽快升级
Security Enhancements and F... |
| 运行平台：Linux,FreeBSD,UNIX,Windows,i386,x86_64 授权方式：GPL 所属分类：开发工具->开发语言 |
