Prześlij oprogramowanie
  1. W: strona główna
  2. Linux
  3. Innych
  4. LCI - A lambda calculus interpeter
  5. Download

LCI - A lambda calculus interpeter 0.6

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 4.0/5 - ‎1 ‎Głosów

O LCI - A lambda calculus interpeter

LCI jest tłumaczem dla rachunku lambda. Obsługuje wiele funkcji postępu, takich jak liczby całkowite, rekursja, operatory zdefiniowane przez użytkownika i wiele strategii oceny.

Programy pokrewne

  • Universal SQL Gateway Wolna

    Uniwersalna brama SQL tuneluje żądania SQL za pośrednictwem zapór za pośrednictwem protokołu HTTP, implementując specjalny sterownik JDBC. Zapewnia dostęp do bezpiecznej bazy danych, działając jako składnik zapory powszechnie

  • Dev65 Wolna

    Dev65 to zestaw makro, konsolidator i bibliotekarz dla 6501, 6502, 65C02, 65816 i 65832 z rodziny mikroprocesorów kodowanych w javie w celu przenoszenia. Kod jest oparty na platformie, która może obsługiwać inne architektury

  • GameDirector Wolna

    GameDirector Ver 0.1 Devlopment Build 10 18-Listopad-10. GameDirector to nowy system tworzenia gier oparty na Silniku Ogre i jest w ciężkim rozwoju.

  • Flash and Boom Bezpłatna wersja próbna

    Zastosowanie pomiaru odległości od błyskawicy.Huk grzmotu następuje po kilku sekundach błysk błyskawicy.Flash i Boom Aplikacji wykorzystać ten czas, aby określić odległość między tobą a punktem uderzenia!

  • Network Transparent Widgets (ntw) Wolna

    NTW to wieloplatformowy protokół klient/serwer i zestaw narzędzi widget, który umożliwia wydajną zdalną obsługę, nawet w powolnych sieciach. Jego celem jest możliwość obsługi setek klientów zdalnych z jednym niedrogim serwer

  • subtex Wolna

    subtex jest wersją XML LaTeX, popularnego systemu składu. Zawiera podzbiór poleceń lateksowych (stąd SUBtex), ale zawiera również wiele ulepszeń, w tym wspaniały wbudowany system bibliografii. Znaczniki LaTeX w XML! Tak!

  • LogJana Wolna

    Program logjana jest programem dziennika dla serwera proxy jana V2. Dzieli główny plik dziennika "proxy.log" w plikach czasowych. Główny plik dziennika "proxy.log" nie zostanie zmieniona. W przypadku pytań

  • elisa Wolna

    Elisa to otwarta biblioteka C++ do programowania ograniczeń i technik rozwiązywania ograniczeń. Algorytmy interwałowe do rozwiązywania ograniczeń ciągłych wymagają, aby Gaol (http://sf.net/projects/gaol) jest już zainstalowa

  • PersianDate Wolna

    biblioteka c++ do konwersji daty między kalendarzem perskim i gregoriańskim i niektórych klas pomocnika do daty przyrostowej ...

  • Ada 2005 Math Extensions Wolna

    Standard Ada 2005 definiuje rzeczywiste i złożone operacje macierzy i wektorów. Nie każda możliwa operacja jest obsługiwana, więc na przykład można rozwiązać tylko matryce symetryczne lub hermickie. Ten projekt zapewnia rozsz