Pi Calculus for SOA 2.1.0

相关软件

• Entier Studio 免费

  Entier 工作室是专为开发人员设计的 Web 工具。它提供了几个功能，可以增强应用程序的开发。其中一些功能是原始的模型驱动方法和不同的代码生成和发布过程。

• WiiC 免费

  Wiic 是一个 C/C++库，用于管理 Wii 设备。它支持威莫特， 农丘克， 经典， 吉他英雄 3， 运动加， 和平衡板.它在 Linux 和 Mac 平台上运行。

• XSLTrans 免费

  转换 XML/XSL en c# （.net 框架 2.0， Windows）利用 l '源式变压器文档 DocBook XMLc# 中的 XML/XSL 转换器（.net 框架 2.0，Windows）用于将（例如）DocBook XML 转换为 Linux 文档项目 HTML

• ProForma 免费

  ProForma 是一个完全面向对象的 PHP5 库，用于构建和管理 XHTML 表单。它为表单创建、验证、自动填充等提供了标准 API。XHTML 输出符合标准，使用 CSS 可高度剥皮。{@}

• Joshua chess robot 免费

  约书亚国际象棋机器人：一个步进电机机器人与光敏板接口，与嵌入式人工智能，游戏数据库或互联网玩家下棋。包括软件、机器人照片、技术论文、示意图和布线。恩霍

• STEP ToyBox 免费

  STEP ToyBox 是一个开发各种小型应用程序以处理 EXPRESS （ISO 10303-11） 架构和/或 STEP 第 21 部分 （ISO 10303-21） 数据文件的项目。有些命令行仅命令行，而其他命令行仅基于 GUI。

• padaf 免费

  此库提供工具，用于对 PDF 文档进行 PDF/A 预检。它高度基于 apache PDFBOX。检查符合 ISO 19005 （PDF/A） 规范。目标是完全通过 isartor 测试。

• OpenAI 免费

  OpenAI 致力于创建一套高度可互操作的人工智能组件，以充分利用当今的技术。 当前的工具包括移动代理、神经网络、遗传算法和有限状态机。

• Gambit for Android 免费试用

  以下是 Android 平台的 Gambit 方案的初步版本， 灵感来自马克 · 菲利的 ios 版本。Gambit 方案是"方案编程语言的完整、可移植、高效且可靠的实施，符合 R4RS、R5RS 和 IEEE 方案标准，并实现所有可选功能。尾部调用和一流的延续符合方案语义。实现全数塔，包括：任意精度整数（大数）、理性、不准确的雷亚尔（浮点数）和复数。Android 的 Gambit 包括与 Gambit 方案 REPL（读取-评估

• Proja - Project Makefile Generator 免费

  Proja 是一个小型、快速且易于使用的 Makefile 生成器，具有适应性的模板、打包和自动依赖性生成。它允许项目中的多个可执行文件以及库，并允许开发人员自由构造项目。