![](/statics/img/blank.png)
Orangeboard Lambda Calculus Interpreter 1.0
Sarai in grado di scaricare in 5 secondi.
Puoi anche fare clic sul seguente link per il download esterno per iniziare il download:
http://sourceforge.net/projects/redboard/files/redboard/Redboard%201.0/RedboardSource.zip/download
Circa Orangeboard Lambda Calculus Interpreter
Semplice applicazione .NET/mono che interpreta e valuta espressioni di calcolo lambda non tipizzato.
Programmi correlati
-
pyckett Gratuito
Si tratta di un emulatore di regole diapositiva basato sul classico design della regola di diapositiva di Pickett. È scritto in Python, quindi il nome "pyckett" è appropriato. È adatto come esempio di costruzione
-
tkradar Gratuito
Tkradar è un insieme di librerie C e pacchetti Tcl/Tk per accedere, manipolare e visualizzare varie forme di dati radar meteorologici. Richiede Tcl, Tk e Tkgeomap.
-
e17genmenu Gratuito
e17genmenu è un'applicazione per generare automaticamente voci di menu per Enlightenment Window Manager (DR17) su Linux basate su menu Gnome/Kde. È scritto in C, utilizzando le biblioteche della Enlightenment Foundation tra c
-
Italian Translator TransZilla Gratuito
Traduttore italiano TransZilla è traduttore gratuito che utilizza Google Translate.Il traduttore supporta la traduzione dall'inglese all'italiano e dall'italiano all'inglese.Usa il traduttore per le parole, la traduzione
-
Eigenmath DS Gratuito
Eigenmath DS è un sistema di algebra per computer libero portato su Nintendo DS.L'obiettivo di questo progetto è quello di avere un CAS gratuito paragonabile ai sistemi commerciali come texas instruments o calcolatrici H
-
Inaugural Address USA 2009 Prova gratuita
Il testo ufficiale dello storico discorso inaugurale del presidente Obama, gennaio 2009.Pubblichiamo anche:*Discorso al Congresso febbraio 2009* *Obama su Space 2010*e altre app.Questa app è progettata per ess
-
BioStream Gratuito
BioStream consente ai ricercatori di bioinformatica di creare, interrogare e applicare strumenti ai propri database. Supporta file di sequenza e altri tipi di dati consentendo la creazione di file di definizione dei metadati.
-
I.S.A.A.C.S. Gratuito
I.S.A.A.C.S. Interactive Structure Analysis of Amorphous and Crystalline Systems è un software multipiattaforma sviluppato per analizzare le caratteristiche strutturali dei modelli tridimensionali costruiti da simulazioni al
-
SystemJ-Translator Gratuito
SystemJ è un nuovo linguaggio dedicato al facile sviluppo degli HDL reattivi. Basato su JAVA è indipendente dalla piattaforma e offre la facilità di sviluppo che accompagna java.
-
Project35 Gratuito
Project35 è una suite di strumenti software che generano moduli basati su schemi XML. Originariamente derivati dal progetto di ricerca Pedro, gli strumenti di Project35 sono stati modificati per supportare casi d'uso più a l