Gửi phần mềm
  1. Nhà
  2. Linux
  3. Khác
  4. LCI - A lambda calculus interpeter

LCI - A lambda calculus interpeter 0.6

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 4.0/5 - ‎1 ‎Phiếu
Tải về

LCI là một thông dịch viên cho tính toán lambda. Nó hỗ trợ nhiều tính năng nâng cao như số nguyên, đệ quy, toán tử do người dùng xác định và nhiều chiến lược đánh giá.

lịch sử phiên bản

  • Phiên bản 0.6 đăng trên 2008-02-14
    Một số bản sửa lỗi và cập nhật
  • Phiên bản 0.6 đăng trên 2008-02-14

Chi tiết chương trình

Các chương trình liên quan

  • Universal SQL Gateway Miễn phí

    Universal SQL Gateway đường hầm SQL yêu cầu thông qua tường lửa qua HTTP bằng cách thực hiện một trình điều khiển JDBC đặc biệt. Nó cung cấp acces cơ sở dữ liệu an toàn bằng cách hoạt động như một thành phần tường lửa thường

  • Dev65 Miễn phí

    Dev65 là một bộ vi xử lý vĩ mô, linker và thư viện cho các bộ vi xử lý 6501, 6502, 65C02, 65816 và 65832 được mã hóa bằng Java cho tính di động. Mã được dựa trên một khuôn khổ có thể hỗ trợ kiến trúc hệ thống khác.

  • GameDirector Miễn phí

    GameDirector Ver 0.1 Devlopment Build 10 18-November-10. GameDirector là một hệ thống phát triển trò chơi mới dựa trên Ogre Engine và đang được phát triển nặng nề.

  • Flash and Boom Dùng thử miễn phí

    Ứng dụng đo khoảng cách sét.Một tiếng ầm ầm của sấm sét sau vài giây một tia chớp.Flash và Boom ứng dụng sử dụng thời gian này để xác định khoảng cách giữa bạn và các điểm tác động!

  • Network Transparent Widgets (ntw) Miễn phí

    NTW là một giao thức máy khách / máy chủ đa nền tảng và bộ công cụ widget cho phép hoạt động từ xa hiệu quả, ngay cả qua các mạng chậm. Mục tiêu của nó là để có thể phục vụ hàng trăm khách hàng từ xa với một máy chủ không tố

  • subtex Miễn phí

    subtex là một phiên bản XML của LaTeX, hệ thống tạo kiểu phổ biến. Nó chứa một tập hợp con của các lệnh cao su (do đó SUBtex) nhưng cũng chứa nhiều cải tiến, bao gồm một hệ thống danh mục tham khảo tích hợp tuyệt vời. Thẻ LaT

  • LogJana Miễn phí

    Chương trình logjana là một chương trình đăng nhập cho máy chủ proxy jana V2. Nó chia tách logfile chính "proxy.log" trong các tập tin theo thời gian. Tệp nhật ký chính & proxy.log" sẽ không thay đổ

  • elisa Miễn phí

    Elisa là một thư viện C++ mở cho các kỹ thuật lập trình hạn chế và giải quyết ràng buộc. Các thuật toán dựa trên khoảng thời gian để giải quyết các ràng buộc liên tục yêu cầu Gaol (http://sf.net/projects/gaol) đã được cài đặ

  • PersianDate Miễn phí

    một thư viện c++ để chuyển đổi ngày giữa lịch Ba Tư và Gregory và một số lớp trợ giúp để incrementing ngày ...

  • Ada 2005 Math Extensions Miễn phí

    Tiêu chuẩn Ada 2005 xác định các hoạt động ma trận và vectơ thực sự và phức tạp. Không phải mọi hoạt động có thể được hỗ trợ, vì vậy ví dụ chỉ có ma trận đối xứng hoặc ẩn sĩ mới có thể được giải quyết. Dự án này cung cấp các