Agda 1 1.0.2

相關軟體

• Survival Medicine Guide 免費試用

  "需要免費的 Adobe 閱讀器"***這是一個生存醫學指南，以防我們都害怕真的發生。這是一個偉大的恭維任何良好的生存手冊。當您需要時，此資訊可能不可用。現在就拿，準備好。這個生存醫療指南是必須的！！這本書超過200頁，需要一分鐘載入一旦安裝。該書採用PDF格式，需要免費的Adobe閱讀器。現在可搜索和照片！！這個程式留在您的手機或設備，不需要互聯網接入。我們僅使用 Google 添加資訊，不收集除 Goog

• terz 免費

  Terz 令人難以置信的自動塔格爾是一個自動音訊檔標籤和檔重新命名器。它使用音樂腦提供的資訊。通過使用上下文資訊 Terz 取得了非常好的結果。其他功能： 顯示不完整的專輯， 搜尋重複...

• Lua ODE 免費

  Lua ODE 是用於 Windoze、OS X 和 Linux 平臺的 Lua 語言的 OpenDE 綁定。

• assistent-fah 免費

  輔助Folding@home用戶端日誌計算計算機在Folding@home計算專案中的平均速度。根據 GNU Folding@home許可證獲得許可的協助

• Spanish Tester Lite 免費試用

  西班牙語測試人員 Pro 透過生成模擬測驗問題，在西班牙語動詞結合和語音部分之間的一致性上測試您。多選題和填空題測試以下 15 種動詞形式的知識：+中點;現在•中點;未來•中點;不完美+中點;前點+中點;條件•中點;呈現完美•中點;未來完美・中點;完美+中點;條件完美+中點;當前子詞+中點;不完美的副詞+中點;呈現完美的副詞•中點;完美副詞+中點;勢在必行+中點;負命令與

• IRBEM-LIB 免費

  IRBEM-LIB 提供例程，用於計算地球磁場中任何位置的磁座標、執行座標轉換、評估地球物理/空間物理模型以及及時傳播軌道。

• libTopo 免費

  libTopo 和 TopoMap 是用於使用、轉換、分析和顯示地形圖的工具，如 ETOPO2、ETOPO5 和 GLOBE。TopoMap 是將地形資料庫轉換為原始數據、圖像等的命令行介面。

• Nanodesigner 免費

  納米設計者是分子納米技術研究的軟體平臺。它有一個外掛程式架構，將包括分子可視化和建模工具，複雜新分子的設計，分子動力學,...

• Analysis & Reconstruction Sound 免費

  分析與重建聲音引擎將聲音檔分析為光譜圖，並能夠將此光譜圖或任何其他用戶創建的圖像合成為聲音。

• G200X Motion controller 免費

  Geckodrive G200X 運動控制器的韌體和 GUI 程式碼