Archive of Formal Proofs 2011

相關軟體

• ADAM Abstract Data Access Models 免費

  2 Java 框架，具有基於非標準方法的瞬態和持久物件模型（不太明顯但開發速度更快）：對像是一組命名字段。3 個非物件庫，簡化了對存儲在 RDB、文本檔等中的表的訪問。

• Jedora Remix VM 免費

  虛擬機器 Linux 裝置（用於虛擬框）。此 Fedora 混音強調基於 Java 的應用程式。包括OpenOffice.org、OpenJDK、瀏覽器外掛程式 （IcedTea） 和流行的基於 JAVA 的應用程式，如 Azureus/Vuze、jEdit 等。

• DataAide 免費

  DataAide 是一個 VB.Net 桌面應用程式，它利用 SQL Server 2000 用戶端工具生成 VB.Net、C#或 VB6 類，並存儲 SQL Server 2k 資料庫中的表的過程。它還生成ADO.Net ADO代碼來調用存儲過程。

• BlackFox OM (30' Series) 免費

  BlackFox OM（BlackFox，物件模型）是一個用於存儲和操作任何系統、應用程式和庫的物件模型的庫。您可以將它用作 UML 工具、代碼產生器的一部分、面向物件的作業系統等的一部分。

• InfraHID 免費

  該專案的目的是允許將普通網路攝像頭用作人機界面設備 （HID）。如何使用該軟體的範例包括：滑鼠、控制視訊遊戲、電子白板或平板電腦的替代品。

• Prop compiler compiler 免費

  Prop 是基於語言的匹配C++。它實現代數數據類型、模式匹配和重寫，並生成C++作為輸出。

• ga-flamoot 免費

  Python 中的一種遺傳演演算法，用於將給定字串寫入分配的數據空間的遺傳演算法，使用僅包含 7 個指令和流反轉的製造機器語言。

• Fennel 免費

  Fennel 是一個數據存儲和處理元件庫，以C++。 它是作為Eigenbase專案的子專案開發的，也是法拉戈專案的基板。

• NExcel 免費

  NExcel 庫允許 .NET 應用程式讀取 Excel 女士檔，與 Excel 97 和上部相容。無需安裝 Office Excel 女士或任何第三方庫。根據安德魯 · 汗的 JexcelAPI 。

• OpenTag 免費

  OpenTag 是 DASH7 模式 2（ISO 18000-7.4）的全功能通信堆疊。它打算在嵌入式硬體上運行，尤其是RF SoC，但它幾乎可以移植到任何方面。OpenTag 的主要壯舉是其大型功能集，但佔地面積小。