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 的主要壮举是其大型功能集，但占地面积小。