Software einreichen
  1. Startseite
  2. Linux
  3. Andere
  4. LCI - A lambda calculus interpeter

LCI - A lambda calculus interpeter 0.6

Lizenz: kostenlos ‎Dateigröße: N/A
‎Benutzerbewertung: 4.0/5 - ‎1 ‎Stimmen
Herunterladen

LCI ist ein Dolmetscher für das Lambda-Kalkül. Es unterstützt viele Fortschritte Funktionen wie ganzheitliche Zahlen, Rekursion, benutzerdefinierte Operatoren und mehrere Evaluierungsstrategien.

VERSIONSVERLAUF

  • Version 0.6 veröffentlicht auf 2008-02-14
    Mehrere Korrekturen und Updates
  • Version 0.6 veröffentlicht auf 2008-02-14

Programmdetails

Verwandte Programme

  • Universal SQL Gateway kostenlos

    Das universelle SQL Gateway tunnelt SQL-Anforderungen über Firewalls über HTTP, indem ein spezieller JDBC-Treiber implementiert wird. Es bietet sicheren Datenbankzugang, indem es als Firewallkomponente fungiert, die häufig al

  • Dev65 kostenlos

    Dev65 ist eine Makro-Assembler-, Linker- und Bibliothekar-Suite für die 6501-, 6502-, 65C02-, 65816- und 65832-Familie von Mikroprozessoren, die für die Portabilität in Java codiert sind. Der Code basiert auf einem Framework,

  • GameDirector kostenlos

    GameDirector Ver 0.1 Devlopment Build 10 18-November-10. GameDirector ist ein neues Spielentwicklungssystem, das auf der Ogre Engine basiert und sich in einer schweren Entwicklung befindet.

  • Flash and Boom Kostenlose Testversion

    Lightning-Entfernungsmessungsanwendung.Ein Donnertocher folgt nach einigen Sekunden einem Blitz.Flash und Boom Application verwenden diese Zeit, um den Abstand zwischen Ihnen und dem Aufprallpunkt zu bestimmen !

  • Network Transparent Widgets (ntw) kostenlos

    NTW ist ein plattformübergreifendes Client/Server-Protokoll und Widget-Toolkit, das einen effizienten Remote-Betrieb auch über langsame Netzwerke ermöglicht. Sein Ziel ist es, Hunderte von Remote-Clients mit einem einzigen k

  • subtex kostenlos

    subtex ist eine XML-Version von LaTeX, dem beliebten Satzsystem. Es enthält eine Teilmenge der Latexbefehle (daher SUBtex), enthält aber auch viele Verbesserungen, einschließlich eines fabelhaften integrierten Bibliographiesy

  • LogJana kostenlos

    Das logjana-Programm ist ein Log-Programm für den jana-Proxyserver V2. Es teilt die Hauptlogdatei "proxy.log" in zeitgezeite Dateien auf. Die Hauptlogdatei "proxy.log" wird nicht geändert. Für Fragen sende

  • elisa kostenlos

    Elisa ist eine offene C++-Bibliothek für Einschränkungsprogrammierung und Constraint-Lösungstechniken. Intervallbasierte Algorithmen zum Lösen kontinuierlicher Einschränkungen erfordern, dass Gaol (http://sf.net/projects/gao

  • PersianDate kostenlos

    eine c++-Bibliothek zum Konvertieren des Datums zwischen persischem und gregorianischem Kalender und einigen Hilfsklassen in das Inkrementdatum ...

  • Ada 2005 Math Extensions kostenlos

    Der Ada 2005-Standard definiert reale und komplexe Matrix- und Vektoroperationen. Nicht jede mögliche Operation wird unterstützt, so dass beispielsweise nur symmetrische oder einsiedlerische Matrizen gelöst werden können. Die