ส่งซอฟต์แวร์
  1. บ้าน
  2. Linux
  3. อื่นๆ
  4. LCI - A lambda calculus interpeter
  5. Download

LCI - A lambda calculus interpeter 0.6

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

เกี่ยวกับ LCI - A lambda calculus interpeter

LCI เป็นล่ามสําหรับแคลคูลัส lambda รองรับคุณสมบัติความก้าวหน้ามากมายเช่นจํานวนเต็มการเกิดซ้ําตัวดําเนินการที่ผู้ใช้กําหนดและกลยุทธ์การประเมินหลาย

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

  • Universal SQL Gateway ฟรี

    เกตเวย์ SQL สากลอุโมงค์การร้องขอ SQL ผ่านไฟร์วอลล์ผ่าน HTTP โดยใช้โปรแกรมควบคุม JDBC พิเศษ มันมี acces ฐานข้อมูลที่ปลอดภัยโดยทําหน้าที่เป็นส่วนประกอบไฟร์วอลล์โดยทั่วไปเรียกว่าเกตเวย์แอพลิเคชัน

  • Dev65 ฟรี

    Dev65 เป็นชุดตัวประกอบมาโครตัวเชื่อมโยงและบรรณารักษ์สําหรับชุด 6501, 6502, 65C02, 65816 และ 65832 ครอบครัวของไมโครโปรเซสเซอร์ที่เขียนโค้ดใน Java เพื่อความสะดวกในการพกพา รหัสจะขึ้นอยู่กับกรอบงานที่สามารถสนับสนุนสถาปัตยกรรมระบบ

  • GameDirector ฟรี

    GameDirector Ver 0.1 Devlopment Build 10 18-พฤศจิกายน-10 GameDirector เป็นระบบการพัฒนาเกมใหม่ตาม Ogre Engine และอยู่ในการพัฒนาอย่างหนัก

  • Flash and Boom ทดลองใช้ฟรี

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

  • Network Transparent Widgets (ntw) ฟรี

    NTW เป็นโปรโตคอลไคลเอ็นต์ / เซิร์ฟเวอร์ข้ามแพลตฟอร์มและชุดเครื่องมือวิดเจ็ตที่ช่วยให้การทํางานระยะไกลที่มีประสิทธิภาพแม้ผ่านเครือข่ายที่ช้า เป้าหมายของมันคือเพื่อให้สามารถให้บริการลูกค้าระยะไกลหลายร้อยรายด้วยเซิร์ฟเวอร์ราคาไ

  • subtex ฟรี

    subtex เป็นรุ่น XML ของ LaTeX ระบบการเซ็ตประเภทยอดนิยม มันมีชุดย่อยของคําสั่งน้ํายาง (ดังนั้น SUBtex) แต่ยังมีการปรับปรุงมากมายรวมถึงระบบบรรณานุกรมในตัวที่ยอดเยี่ยม แท็ก LaTeX ใน XML! ใช่!

  • LogJana ฟรี

    โปรแกรม Logjana เป็นโปรแกรมล็อกสําหรับพร็อกซีเซิร์ฟเวอร์ Jana V2 มันแยก logfile หลัก & quot;.log" ในไฟล์ที่หมดเวลา แฟ้มบันทึกหลัก & quot;.log" จะไม่เปลี่ยนแปลง สําหรับคําถามที่ส่งจดหมายที่ michael.wi

  • elisa ฟรี

    Elisa เป็นห้องสมุด C++ แบบเปิดสําหรับการเขียนโปรแกรมข้อ จํากัด และเทคนิคการแก้ปัญหาข้อ จํากัด อัลกอริทึมตามช่วงเวลาสําหรับการแก้ปัญหาข้อ จํากัด อย่างต่อเนื่องจําเป็นต้องมีการติดตั้ง Gaol (http://sf.net/projects/gaol) บนระบบข

  • PersianDate ฟรี

    ไลบรารี c++ สําหรับการแปลงวันที่ระหว่างปฏิทินเปอร์เซียและคริสต์ศักราชและคลาสตัวช่วยเหลือบางคลาสเป็นวันเพิ่มจํานวน ...

  • Ada 2005 Math Extensions ฟรี

    มาตรฐาน Ada 2005 กําหนดการดําเนินงานเมทริกซ์และเวกเตอร์ที่แท้จริงและซับซ้อน ไม่สนับสนุนการดําเนินการที่เป็นไปได้ทุกครั้งดังนั้นตัวอย่างเช่นเมทริกซ์สมมาตรหรือเฮมิเตียนสามารถแก้ไขได้ โครงการนี้ให้ส่วนขยายตามมาตรฐานสําหรับ GNAT