ส่งซอฟต์แวร์
  1. บ้าน
  2. Windows
  3. อื่นๆ
  4. Maude .NET

Maude .NET 2.4.0.3

ใบ อนุญาต: ฟรี ‎ขนาดแฟ้ม: N/A
‎คะแนนจากผู้ใช้: 5.0/5 - ‎1 ‎โหวต
ดาวน์โหลด

พอร์ตของ Maude ไปยัง Visual C++ .NET Maude เป็นภาษาสะท้อนแสงประสิทธิภาพสูงที่สนับสนุนตรรกะสมการและการเขียนใหม่ มีต้นฉบับใน C++ สําหรับ Linux ซึ่งมีโครงการ Visual Studio และรหัสโปรแกรมแก้ไขที่จําเป็นสําหรับคอมไพล์ Maude สําหรับ .NET

ประวัติรุ่น

  • เวอร์ชัน Maude%20.NET%202.4.0.3 โพสต์เมื่อ 2009-12-11
    การแก้ไขและการอัปเดตหลายรายการ
  • เวอร์ชัน Maude .NET 2.4.0.3 โพสต์เมื่อ 2009-12-11

รายละเอียดหลักสูตร

หลักสูตรที่เกี่ยวข้อง

  • ctetris ฟรี

    Ctetris เป็น tetris-clone สําหรับคอนโซลที่เขียนด้วย C โดยใช้ไลบรารี ncurses Ctetris ถูกเปลี่ยนชื่อเป็น ctris ในเดือนตุลาคม 2005 หน้าแรกใหม่: http://hackl.dhs.org/ctris

  • ADMLink NI ทดลองใช้ฟรี

    ADMLink NI (Network Inventory) ช่วยให้ผู้ดูแลระบบสามารถประมวลผลอุปกรณ์ descovering ที่เชื่อมต่อกับเครือข่ายโดยอัตโนมัติและรวบรวมสินค้าคงคลังซอฟต์แวร์และฮาร์ดแวร์โดยละเอียดจากผู้ขายมากกว่า 6,000 รายผลิตภัณฑ์นี้เกี่ยวกับความ

  • ThinkPad Access Point ทดลองใช้ฟรี

    ThinkPad Access Point เป็นซอฟต์แวร์ที่ใช้งานง่ายซึ่งเปลี่ยนแล็ปท็อป ThinkPad ของคุณให้เป็นจุดเชื่อมต่อไร้สาย Wi-Fi ทุกคนที่อยู่ใกล้เคียงสามารถท่องอินเทอร์เน็ตผ่านการแชร์ของคุณ นอกจากนี้ยังเป็นทางออกที่เหมาะสําหรับการตั้งค่า A

  • JoomlaOnStick ฟรี

    Joomla On Stick ช่วยให้คุณสามารถเรียกใช้ Joomla จากแท่ง USB มันถูกออกแบบมาเป็นหลักสําหรับผู้ที่ต้องการสามารถสาธิตเว็บไซต์ของพวกเขาที่คอมพิวเตอร์ใด ๆ แต่ยังสามารถใช้โดยผู้ใช้ที่ไม่ต้องการในการพัฒนาส่วนประกอบ Joomla โมดูลหรือแม

  • OpenXUP - an XUP-based UI framework ฟรี

    XUP (โพรโทคอลส่วนติดต่อผู้ใช้แบบขยายได้) เป็นโพรโทคอลที่ใช้ SOAP สําหรับส่งเหตุการณ์และการปรับปรุง UI แบบเพิ่มหน่วย โครงการนี้สร้างกรอบการพัฒนาโปรแกรมประยุกต์บนเว็บที่ด้านบนของ XUP ซึ่งประกอบด้วยไคลเอ็นต์ ชุดเครื่องมือเซิร์ฟเ

  • Perl TurtleShell MUD Client ฟรี

    นี่คือไคลเอนต์ MUD เป็นหลักซึ่งฉันกําลังทํางานเพื่อให้ขยายมากขึ้นเป็นเปลือก perl ทั่วไปสําหรับทุกสิ่งที่คุณสามารถเข้าสู่ระบบด้วย telnet ไคลเอ็นต์ MUD สนับสนุนไวยากรณ์ขั้นสูงบางอย่าง เช่น การเกิดขึ้นอีกครั้งกับค่าที่แยกด้วยเค

  • PEGames ฟรี

    CMS ที่ทําขึ้นสําหรับเว็บไซต์เกมที่ต้องการจัดการเนื้อหาตามคอนโซลและตามหมวดหมู่ (ตัวอย่างบทวิจารณ์ ฯลฯ ) คุณยังสามารถเพิ่ม/ลบคอนโซล และเพิ่ม/ลบประเภทได้อีกด้วย ใช้ PHP และ MySQL และเป็น XHTML และ CSS ที่ถูกต้อง

  • Movie IMDB Blurb Requester ฟรี

    โปรแกรมนี้เมื่อได้รับโฟลเดอร์ของโฟลเดอร์ภาพยนตร์จะวนผ่านพวกเขาและดาวน์โหลด IMDB เบลอโปสเตอร์และการจัดอันดับแล้ววางไว้ภายในโฟลเดอร์นั้น ใช้การค้นหาของ Google เพื่อค้นหาหน้า imdb ก่อน มันถูกเขียนใน Visual Basic.Net

  • SimpleDiscogs ฟรี

    ไลบรารี PHP 5.3 สําหรับการทํางานกับ Discogs API ไลบรารีเป็น "ง่าย&quot เนื่องจากใช้ SimpleXML เพื่อสร้างผลลัพธ์

  • ILDump ฟรี

    ILDump ทําเพียงว่า -- แยกวิเคราะห์ไฟล์ปฏิบัติการและไลบรารี .NET และซีเรียลไลซ์เนื้อหาของพวกเขารวมถึงแหล่งภาษาระดับกลางสําหรับแต่ละวิธีลงในไฟล์ XML