TOY 2.3.1
您將能夠在 5 秒內下載。
您也可以點擊以下外部下載連結開始下載:
http://sourceforge.net/projects/toy/files/toy/toy2.3.1/toy2.3.1.zip/download
關於 TOY
TOY 是一個約束功能邏輯系統,旨在支援主要聲明性程式設計樣式及其組合
相關軟體
-
The ELF Resource Tools 免費
該專案的目標是提供一組 ELF 資源工具。這些工具將用於將資料(稱為"資源")嵌入 ELF 可重新刪除的物件檔(可從 C 程式中引用),並在以後在編譯的 ELF 可執行檔中更改此數據。
-
Android Assistant(14 features) 免費
前 14 個功能,説明您輕鬆高效地管理您的 Android 手機前 14 個功能,説明您輕鬆高效地管理您的 Android 手機Android助手是最強大和全面的管理工具之一,以提高您的Android手機#39性能。它加快了您的手機和#39的速度,並通過其14個頂級功能節省電池:1. 監視器狀態(cpu、記憶體、電池)Android 助手提供即時 CPU、記憶體和電池狀態,可説明您及時監控系統性能。2. 流程管理員進程管理
-
SynTree 免費
包含語法突出顯示的樹狀源代碼管理器,用於以下語法突出顯示:Apache conf、彙編器 (x86)、C++ 源、CSS、Delphi&CBuilder 窗體、德爾福、HGL、INI、JAVA、Java 腳本、MSDOS 批處理、PERL、PHP、SQL(標準)、文本檔、VBS、VRML、XHTML。可自動完成 PHP 的函數清單。函數參數的提示。可自定義任何語言。
-
RussXPSuite 免費試用
XP 外觀下 Windows® 98/Me/2000/XP 與三種不同的配色方案所有控件支援 Windows XP Luna 主題與 XPBlue,XPSilver 和 XPOlive 配色方案。單獨構建的控制項可以最小化應用程式的大小。直接替換大多數標準的可視化基本控件。VB 5 和 VB 6 相容。清單框的條件格式,剛剛寫了單行代碼。與 RussXPSuite.RussXPADODC 附帶的新 Office 2003 樣式附帶,只需向該套
-
LuxAgent SDK 免費
LuxAgent SDK 包括為風險風格策略遊戲 Lux 創建 AI 所需的一切。它包括 API 文件以及所有與 Lux 一起發貨的 AIs 的完整原始碼(如果您想,發佈用於非盈利用途或在 GNU GPL 下)。使用的程式設計語言是 JAVA。
-
xSYM support for GDB 免費
向 gdb 的 OSX 版本添加完整的 .xSYM 格式支援。這允許使用命令行 gdb 對 CFM 和 CodeWarrior 編譯的 MachO 程式的源級調試進行。此外,還有代碼戰士使用者的 gdb 調整版本。
-
Emulators 免費試用
一個包羅萬象的模擬器應用程式快速播放,安裝,卸載,評級,並評論你最喜歡的Android模擬器!這只是一個模擬器快速啟動儀錶板,允許您從 Android 市場啟動或安裝模擬器。系統包括:- 索尼遊戲機- MSX。- 任天堂娛樂系統- 遊戲男孩顏色- 遊戲男孩前進- 超級任天堂-更多!
-
iNet Speed 免費
iNet Speed 將一按一擊即可確定您的下載、上傳和延遲(回應),並且是免費的。使用 iNet 速度監控手機 (3G/4G/LTE) 或設備的 WiFi 連接速率和回應。 通過即時圖形顯示,結果顯示測試過程中的詳細波動。 這個簡單易用的應用程式提供一致,準確的互聯網速度測試從任何位置。特點:\"簡單,一個按鈕點擊執行互聯網速度測試。•"測試功能下載速率、上傳速率和延遲(回應)時間。"簡單、易於閱讀的跟蹤和報告 ""無限隨和測試 ""它"™免費
-
S.E.E.R. 2 免費
S.E.E.R. 2 是一個功能齊全的 SCADA / 歷史學家 / 聚合分析系統,可作為"前端"開發,mod_openopc。以純 PHP 編寫(HTML 4.01 過渡),由基於 Web 的使用者介面驅動,用於通用部署。
-
Kompare Two 免費
康帕雷二是一個KDE孔奎羅服務功能表使用康帕雷。