LCI - A lambda calculus interpeter 0.6

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