Automated Reasoning for Bluespec Designs

相关软件

• Remote for MPC PRO 免费试用

  使用 MPC 遥控器使用 Android 设备控制媒体播放器经典家庭影院。这个程序是一个远程控制，你的MPC-HC播放器通过网络。MPC 远程从 KitKat 开始实现半透明设计。特征：直观的界面MPC Remote 的新远程圈结合了遥控器最重要的功能。语音控制无需用手控制 VLC。使用预定义的语音命令或创建自己的语音命令。通知通过通知栏控制 MPC，即使在应用外部。部件直接

• PXPerl 免费

  PXPerl 是 Windows （R） 2000/XP 的全功能 Perl 二进制发行版。它配备了Perl，帕格和鹦鹉的二进制文件，以及许多额外的Perl模块相比，ActivePerl。

• myjug community project 免费

  这个项目的想法是提供一种方法学习开源的方式。当然，该项目将建立在其他现有的雅加达框架和项目。该项目更像是一个元项目它由其他较小的项目组成

• Cloud Hub 免费

  云中心是一个链路级无线网状网络实现。使用云集线器固件，接入点会自动查找彼此，优化连接拓扑，并允许其他临时无线用户以客户端方式加入。

• CAPE-OPEN Logging Tools 免费

  CAPE-OPEN 日志记录工具允许通过进程建模环境和过程建模组件之间的 CAPE-OPEN 接口进行通信记录。版本 1.08.4 是最新的稳定版本（2009 年 11 月 5 日）。

• SimplePOS 免费

  C++ 年编写的高质量销售点 （POS） 和库存管理软件套件，包含 MySQL 数据库后端和基于 PHP 的 Web 界面，支持条形码扫描仪和任何标准打印机（包括背诵打印机）。

• upIRC 免费试用

  upIRC （以前的 apirc） 是 Palm Os 的互联网中继聊天 （IRC） 客户端。它快速、稳定，包括各种功能。 其中包括 DCC 聊天支持、自定义字体支持、带变量的命令快捷方式、命令的自动完成以及用于在通道中输入昵称的一键快捷方式。

• AI::Categorizer Perl modules 免费

  使用机器学习方法自动对文本进行分类的开源 Perl 框架。

• Tuxbox-TV 免费

  有了这个程序，你将能够选择，并得到电视流从你的dbox 并在您的 PC 上显示此内容，包括 EPG 数据。编程语言：Java操作系统拼版： Linux/ Unix， Windows， Mac

• X-NetAPI 免费

  用于 X 平面飞行模拟器的插件和用于 X 平面模拟器的健壮网络 API 的客户端库。