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 生成器，具有適應性的範本、打包和自動依賴性生成。它允許專案中的多個可執行檔以及庫，並允許開發人員自由構造專案。