Alice ML

Alice ML 1.3

爱丽丝是一个基于标准的ML函数式编程语言,扩展并发,分布式和约束编程的丰富支持。这里是“爱丽丝梦游ML”一些主要特点:ยท期货:懒惰和轻量的并发数据流同步ยท高阶模块:高阶函子和抽象签名ยท包:整合与静态动态类型和第一类模块ยท酸洗:高阶类型安全,通用与平台无关的持久性ยท组件:平台独立性和模块的类型安全的动态加载ยท分布:类型安全的跨平台的远程功能和网络移动性ยท约束:采用约束传播和可编程解决搜索问题combinatorical爱丽丝系统是一个丰富的开源编程系统具有以下工具: ยท虚拟机:便携式虚拟机与即...

Alienbuild是用Python编写的意图,胜过所有其他构建系统速度的跨平台构建系统。对于依赖检查智能的方法是在创造Alienbuild的最快和最优化的构建时间使用。与Alienbuild一个主要目标是支持资产建设管线工程和大型项目。要求:■的Python安装方式:克隆后,运行“的python2.5 setup.py安装”。您可以验证通过做“进口alienbuild'在Python解释器工作的安装。注:Alienbuild只测试,以对Python...

Alleyoop

Alleyoop 0.9.8

Alleyoop是一个GNOME前端的流行Valgrind的内存调试。 Alleyoop是一个图形化的前端,以用于x86 GNU / Linux的日益流行的Valgrind的内存检测器使用基于GTK +构件集和其他GNOME库的X-Windows环境。 特点包括一个右键快捷菜单来智能压制错误或启动源文件编辑/跳转到的错误情况的确切路线。甲搜索栏在观看者的顶部可以被用来限制可视的错误的那些匹配输入的正则表达式条件的。还包括一个功能齐全的镇压编辑 要求: ·巧舌如簧的2.2.x ·攀高的1.2.x ·GTK...

ALSA driver

ALSA driver 1.1.5 更新

高级Linux声音体系结构由多个部分组成。首先是一个完全模块化的声音驱动程序,它支持模块自动加载,devfs,isapnp自动配置,并且可以完全访问音频硬件的模拟音频,数字音频,控制,混音器,合成器,DSP,MIDI和定时器组件。它还包括一个全功能的内核级定序器,一个用于OSS / Free应用程序的完全兼容层,一个面向对象的C库,它覆盖和增强了应用程序(客户机/服务器,插件,PCM shari 核心:版本v1.1.0 支持建立w /...

Amalgam

Amalgam 0.4.2

汞合金是薄Python包装在不同的ORM解决方案,旨在简化和统一初始化和申报模型各个门店。唯一内置后端现在是SQLAlchem​​y的,这意味着当前银汞合金是只是一个包装过的SQLAlchem​​y(有点像药剂),提供的接口比默认的清洁剂。见文档以获取更多信息。 要求: ...

而AMD的x86 Open64编译器套件是一款高性能,生产质量的代码生成工具设计用于高性能并行计算的工作负载和NBSP;在86 Open64环境提供了开发建设和优化C,C ++,当Fortran应用程序的必要选择,针对32位和64位的Linux平台。在x86编译器Open64系统提供了先进的优化,多线程和处理器支持,包括全局优化,矢量化,过程间分析,反馈的优化,循环变换和代码生成从每个x86处理器内核提取最佳性能较高水平。在x86...

AMQPDeliver是一个命令行实用程序,它发送的邮件AMQP其机体上读取任何标准输入,并为每个邮件,读取邮件正文在其标准输入执行的命令的守护进程。有一些脚本,它的标志,并通过你不想信任AMQP服务器加密使用GnuPG的,所以你可以使用它作为一种机制,两个网站,这两者都不接受传入的连接之间的安全同步的消息。的想法是,你用这个带有DCVS如水银,传递变更为消息 要求: ...

Android SDK

Android SDK 3.1.2.0 更新

Android SDK 项目是一款完全免费的跨平台软件堆栈,适用于由Android提供支持的移动设备。它包括开始使用Android OS和应用程序开发所需的所有工具。 Android是全球最受欢迎的移动操作系统之一,全球拥有数百万用户。要开始为Android构建应用程序,请访问官方网页。让开发人员为Android创建应用程序 Android...