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 的用戶端庫。