usbmoon 711

相关软件

• a validating tool of BPEL programme 免费

  本项目提出了一个基于Pi-微积分和BPEL和pi微积分之间的转换正式验证Web服务构成的工具。此工具集成了两种正式验证技术，可以自动验证。

• FTools - cmdline process tools for win32 免费

  一组工具，提供与 win32 系统上的流程的高级交互。喜欢： 使用重定向的流启动进程， 更改优先级， 在退出代码中返回 pid， 超时， 用 pid 杀死进程。

• Javy 免费

  Javy 是 Cezve 编程语言基础结构的概念动态类型编程语言。Cezve 提供尽可能快地创建可自定义的新编程语言。

• postfix log parser/grouper 免费

  最初根据给定的数据库，编写用于收集和mail.info基于 Postfix 的sasl_user。事实证明，它适用于通过消息 ID 或其他任何有用的搜索。它也具有，只是为了好玩，安西颜色。

• animal battery widget *alpaca* 免费试用

  可爱的羊驼小部件，以显示剩余的电池量。显示可爱的设计，智能手机的电池功率。也显示在易于阅读的数字。15 设计包括！最好的主屏幕！也可以显示状态栏。小部件大小 ： 1x1购买奖金：你可以下载免费壁纸可爱！你可以去协调一个时尚的主屏幕！有免费的壁纸将在未来添加。

• The STAIR Vision Library 免费

  STAIR 视觉库 （SVL） 最初开发为支持 STanford AI 机器人而开发，为计算机视觉、机器学习和概率图形模型提供软件基础架构。

• bfi-toolkit 免费

  bfi 工具包是一组将 Cobol 复制书转换为 XML 的脚本。使用 sed 和 awk 。转换允许转换产生的 XML，使用 XSLT 创建有用的代码位（Cobol 程序、复制书、数据库表等）

• JFlightLog-Pilot Log Book Flight Logbook 免费

  JFlightLog 是 Windows 女士和其他人 （它是 java） 的免费图形引导日志。保存为 Excel XLS、PDF、CSV 或 TXT。从其他日志程序或电子表格导入 CSV。直接打印条目。自动创建用于可视化飞行时间的图表。

• ExpatMM 免费

  这是一个C++的 Expat XML 解析器的一个简单包装，旨在允许开发人员快速构建其项目的 XML 解析器类。

• Euler for GTK+ 免费

  这是欧勒的GTK®端口，一个程序，用于使用真实和复杂的数字和矩阵进行静默和交互式计算。它具有高级图形功能和简单的编程语言。