Set China 1.0.0

相關軟體

• My Language ID 免費

  這是一個簡單的應用程式開發，以説明開發人員檢測語言ID和在Android設備上配置的國家/地區參考。

• Alleyoop 免費

  Alleyoop 是 Valgrind 記憶體檢查器的 Gnome 前端

• DOC2IGC 免費

  此工具可用於將Palm DOC格式的「飛行飛行員」生成的飛行日誌轉換為IGC記錄檔，用於飛行分析軟體（如 SeeYou 和 SoaringDotNet），或將您的航班上傳到 OLC 伺服器。

• myinit 免費

  通過引用計數（"開始"和"停止"命令）具有並行執行和依賴項的簡單"init"程式。

• Breki CCNet Utilities 免費

  用於CruiseControl.NET。目前只有一個外掛程式可用： BrekiLabeller - 一個自定義標籤CruiseControl.NET。允許以「前置字-M.m.B.R」格式生成標籤。類似於南特康特裡布

• svnauthzctl 免費

  用於管理 Subversion 儲存庫的存取規則、編輯檔 conf/authz 的小型實用程式。

• Common Lisp Graph Tools 免費

  用於表示和操作圖形的通用 Lisp 庫。實現的演算法：子圖同構性（烏爾曼）、自構、規範化（Nauty）、連接元件/聯合查找。

• MetaAgent 免費

  完全範本化C++代理（字元）的轉向行為庫。該庫作為包提供，您可以在其中使用範本的函數創建自己的行為。

• OpenPoplog 免費

  OpenPoplog 是一種多語言、增量編譯的基於虛擬機的開發環境，具有豐富的教學和支援材料，支援 Unix、VMS、Linux 和 Windows 上的 Pop-11、Prolog、通用 Lisp 和 ML 語言。

• UNB Theorem Prover? 免費

  在 Java 中實現的自動定理證明器並使用子句樹。 該軟體將能夠讀取TPTP的數學定理，並證明或反駁它們。