Orangeboard Lambda Calculus Interpreter 1.0
Vous pourrez télécharger en 5 secondes.
Vous pouvez également cliquer sur le lien de téléchargement externe suivant pour commencer le téléchargement :
http://sourceforge.net/projects/redboard/files/redboard/Redboard%201.0/RedboardSource.zip/download
Sur Orangeboard Lambda Calculus Interpreter
Une application simple .NET/mono qui interprète et évalue les expressions de calcul lambda non typées.
Programmes connexes
-
pyckett Gratuit
Il s’agit d’un émulateur de règles de diapositives basé sur la conception classique des règles de diapositives Pickett. Il est écrit en Python, de sorte que le nom "pyckett " est approprié. Il convient comme exemp
-
tkradar Gratuit
Tkradar est un ensemble de bibliothèques C et de paquets Tcl/Tk pour accéder, manipuler et afficher diverses formes de données radar météorologiques. Il faut Tcl, Tk et Tkgeomap.
-
e17genmenu Gratuit
e17genmenu est une application pour générer automatiquement des entrées de menu pour le Gestionnaire de fenêtre des Lumières (DR17) sur Linux basé sur les menus Gnome/Kde. Il est écrit en C, en utilisant les bibliothèques de
-
Italian Translator TransZilla Gratuit
Traducteur italien TransZilla est traducteur gratuit qui utilise Google Translate.Le traducteur prend en charge la traduction de l’anglais à l’italien et de l’italien à l’anglais.Utilisez traducteur pour les mots, la trad
-
Eigenmath DS Gratuit
Eigenmath DS est un système d’algèbre informatique gratuit porté à Nintendo DS.L’objectif de ce projet est d’avoir une SAE gratuite comparable aux systèmes commerciaux comme Texas Instruments ou les calculatrices HP.L
-
Inaugural Address USA 2009 Essai gratuit
Le texte officiel du discours inaugural historique du président Obama, janvier 2009.Nous publions également :*Adresse au Congrès février 2009* *Obama sur l’espace 2010*et d’autres applications.Cette applicatio
-
BioStream Gratuit
BioStream permet aux chercheurs en bioinformatique de créer, d’interroger et d’appliquer des outils à leurs propres bases de données. Il prend en charge les fichiers de séquence et d’autres types de données en permettant la c
-
I.S.A.A.C.S. Gratuit
I.S.A.A.C.S. Interactive Structure Analysis of Amorphous and Crystalline Systems est un logiciel multiplateforme développé pour analyser les caractéristiques structurelles des modèles tridimensionnels construits par des simul
-
SystemJ-Translator Gratuit
SystemJ est un nouveau langage dédié au développement facile des HDL réactifs. Basé sur JAVA, il est indépendant de la plate-forme et donne la facilité de développement qui accompagne java.
-
Project35 Gratuit
Project35 est une suite d’outils logiciels qui génèrent des formulaires basés sur des schémas XML. Dérivés à l’origine du projet de recherche Pedro, les outils Project35 ont été modifiés pour soutenir davantage de cas d’util