The Checker Framework

相關軟體

• ajaxWM 免費

  ajaxWM 是一個可調到的基於 ajax 和 python 的視窗管理器，它提供多個靈活的終端在 Web 瀏覽器中，透過網路舒適地遠端控制電腦，而無需在用戶端上安裝任何軟體。

• Twick.it API Wrapper 免費

  如果您喜歡使用 Twick.it API，應該看一下此包裝器。只需調用一些靜態方法，就可以從 API 讀取數據，而不必關心發送 HTTP 請求或分析 XML 數據等所有 REST 內容。

• WURDE 免費

  WURDE 是機器人應用開發的中間件。它設計為開發中的最大簡單，並且易於添加對備用通信協定的支援。它包括一個模組管理系統。

• vTpl - Templating System 免費

  vTpl 是動態網站的動態範本化系統。vTpl適用於希望在沒有大型範本化系統的情況下將顯示邏輯從業務邏輯中分離出去的開發人員。vTpl 支援智慧緩存，這將加快載入時間。

• KML share 免費

  kmlshare 是一個基於谷歌地圖 api 的網站軟體。用戶可以將 kml 檔上傳到網站，該網站被解析，地標存儲在資料庫中，使內容可流覽和搜索。在 http://www.vansham.com/janaagraha/http://www.vansham.com/janaagraha/

• PHersistence 免費

  PHersal 是一個為 PHP 編寫的強大的對象關係持久性框架。旨在涵蓋從 db2 到 MySQL 和進度最常用的資料庫後端。PHer persistence 的目標是將資料庫持久性引入 PHP 世界。

• Lamino 免費

  Lamino 是一種高級配置金屬語言，通過配置分層和封裝元件增強基本 IoC（控制反向，即依賴注入）。

• PIES 3.14159... complement ECMAScript 3! 免費

  PIES 提供 ES3 中不存在的包/導入機制（ECMAScript 語言規範第 3 版，JAVAScript 的標準 JScript）。對於許多選定的庫，PIES 將補充 ES3！

• Kaolak Community System 免費

  Kaolak 是一個基於 Web 的社區系統，使用 PHP4 和 MySql 在 Apache 上運行。社區由其使用者和文檔定義，並形成一個 kaolak 分支。Kaolak 設計用於透明地處理多個分支。

• bisrulz 免費

  基於 JAVA 的元數據驅動規則引擎。此引擎將允許您配置自己的域特定元資料。它提供了動態規則定義、規則連結等功能，並且很容易定義規則。