提交軟體
  1. 首頁
  2. Linux軟體
  3. 其他
  4. EulerSharp

EulerSharp 2011-06-24

軟體性質： 免費 ‎檔案大小： N/A
‎使用者評分： 4.0/5 - ‎1 ‎評分
點擊下載

Euler 是一個支援基於邏輯的校樣的推理引擎。它是一個向後鏈推理器，通過 Euler 路徑檢測增強。它在 Java、C#、Python、Javascript 和 Prolog 中具有實現。通過 N3，它可與 W3C Cwm 互通。

版本歷史記錄

  • 版本 Euler-2011-06-24 發佈於 2011-06-25
  • 版本 Euler-2011-03-25 發佈於 2011-03-25
    若干修復和更新

軟體細節

相關軟體

  • g15tools 免費

    用於羅技 g15 鍵盤的用戶空間工具。這些工具可用於在 lcd 上顯示自定義內容，也可用於處理鍵盤的額外鍵。

  • ARNUX 免費

    歡迎來到ARUX：開源嵌入式Linux專案。第一個土耳其嵌入式 Linux 發行版。基於嵌入式和主控台的作業系統。由ARDIC（應用研究開發創新中心）HTTP：//www.ardictech.com

  • Squirrel Shell 免費

    松鼠殼是一個跨平臺的替代品，替代系統外殼，如在Linux和cmd.exe微軟Windows。它基於腳本語言 " 松鼠 "。

  • wekula - A web interface to Bacula 免費

    韋庫拉是巴庫拉備份系統的 Web 介面。有了它，你將能夠改變Bacula設置，停止/啟動Bacula守護神，做單檔搜索和恢復...附加性，它將提供方便的PHP介面巴庫拉用戶端和巴庫拉守護神。

  • libfallocate 免費

    如果檔案系統知道檔的大小，它們可以避免碎片化。此庫為謬接種（） 系統調用（如 glibc-2.10+）提供了包裝器，但也知道 xfs/ocfs2 ioctl，並提供比 posix_fallocate（） 更好的回退。

  • AAT Direct Connect Hub Project 免費

    編寫文本和集線器模組以增強 OpenDCHub。Hub-Security script 稿按國家/地區篩選未註冊的使用者，並添加操作命令和安全功能。統計和有趣的腳本也可用。未來發展將轉向ODCH模組

  • yydecode -- decodes yEnc/uuencoded binar 免費

    yydecode 是一個高度便攜的解碼器， 用於 yenc 編碼的二進位檔案使用網。它提供了卓越的功能，以udecode，並可以用作一個滴位更換。

  • ice Updater 免費

    冰更新器 - 用於自動化和集中式 MS Office 更新的可程式設計解決方案。國際搜索和下載缺少的修補程式和服務包。在本地或遠端電腦上安靜安裝修補程式 - 無需使用者輸入。跟蹤日誌、Windows NT 或更晚

  • GACSoft Free Driver Updater 免費

    GACSoft 免費驅動程式更新程式的描述：免費的驅動程式工具，在幾分鐘內優秀地更新 PC 驅動程式...本世紀是資訊技術時代。隨著高科技的飛速發展，互聯網滲透到人們的日常生活。幾乎每個人都知道並理解計算機。但是，你知道哪一部分是計算機不可或缺的？當然，它是一個驅動程式。驅動程式，特殊的軟體，允許 Windows 與其他軟體程式和硬體通信。如果您在沒有驅動程式或硬體（如視頻卡或網路攝像頭）的情況下操作計算機，您的電腦將不能正常工作和高效。

  • V-Drive 免費

    V-Drive 是一個小型應用程式，可在您的 Windows PC 上建立一個虛擬硬碟，該硬碟可從您的 ISP、Uni 等提供的個人 Web 空間訪問其數據，從而允許您擁有可以從任何 Windows PC 訪問的磁碟驅動器。