Sapiens XML Parser and Validator

相關軟體

• Triple-A 免費

  Triple-A（使用自動機進行自動分析）是一個功能齊全的庫，用於使用JAVA編寫的（有限）自動機，具有兩種強大的分析工具（處理LTL模型檢查和預導式數學），並圍繞它構建一個圖形用戶介面。

• FirmMod 免費

  FirmMod 將是一個二進位編輯器，面向固件修改和 aalisys，這將支援二進位檔案的資料映射，摩托羅拉 s 記錄檔的讀/寫，原始十六進位編輯等（歡迎使用！

• Non-Linear Debugger 免費

  圖形調試器，用於不只遵循一個流（例如線程 Web 應用程式）的程式。還允許在無頭電腦、分散式環境和崩潰應用程式中進行調試。

• Ruby SVM (Support Vector Machines) 免費

  Ruby SVM 是 Ruby 綁定到非常受歡迎且非常有用的 libsvm 庫（在單獨的許可證下發佈）這允許您在 Ruby 中輕鬆嘗試機器學習，特別是支援向量機。 SVM 的發現在

• arpi 免費

  ARPI 是分析、確認和圖像過程西班牙文的首字母縮略詞。允許程式設計知識較差的人創建演算法、配置其參數（圖像、矩陣等）並使用計算機或網路電腦運行它們。

• Ultra-lite modeling generator (ULM.gen) 免費

  ULM.gen 專案是一個框架，可説明使用生成範本從以 XML 文檔表示的 UML 模型建構和自訂原始碼生成器。它還提供了與 UML 建模器（如 IBM Rational Rose）同步的工具。

• Foo (Pikarzyki) 免費

  Foo（足球的縮寫）是紙足球的玩機器，是兩名球員的鉛筆和紙遊戲，在維琪百科中描述。在 Haskell 中編寫，還包含使用 HOpenGL 庫的簡單介面。提供一堆播放演算法。

• Atan 免費

  Atan 是 2D 模擬聯盟的 RoboCup 足球伺服器的介面。它應該允許您專注於控制用戶端的工作，而不必擔心與 SServer 的通信語法或創建 UDP 連接。

• NPTL Trace Tool 免費

  我們提供一種機制，盡可能少地跟蹤 NPTL 庫，以處理應用動態。然後，驗屍分析允許測量（,...）和理解絞刑或錯誤。內核或用戶應用程式沒有更改。

• NChord 免費

  NChord 是 Chord 分散式哈希錶的 C# 實現。該專案提供了一個庫，其中包含 MIT Chord 論文中指定的路由、查找和維護例程，並且非常穩定，包括在重負載和流失下。