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®埠，一個程式，用於使用真實和複雜的數位和矩陣進行靜默和互動式計算。它具有高級圖形功能和簡單的程式設計語言。