Visual Lambda Calculator with Mind Maps
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/vlcmm/files/vlcmm/bin/vlcmm.zip/download
Sur Visual Lambda Calculator with Mind Maps
Nous introduisons une représentation entièrement visuelle basée sur des cartes mentales dactylographyées pour représenter les étapes de calcul d’une calculatrice lambda non typée pure, VLM.
Programmes connexes
-
XML-RPC for C/C++ (Xmlrpc-c) Gratuit
Bibliothèque de programmation pour l’écriture d’un serveur XML-RPC ou d’un client en C ou C++. XML-RPC est un protocole réseau standard qui permet à un programme client de faire une simple demande d’appel à distance (RPC) d’u
-
Visio-EMF Bridge Gratuit
Le pont Visio-EMF offre la transformation des modèles Visio pochoirs et Visio en métamodels EMF et modèles EMF, respectivement. Le pont permet le traitement des modèles Visio avec des outils EMF, tels que OpenArchitectureWare
-
DMG Automounter for Linux Gratuit
DMG Automounter est un script nautilus qui permet à toute distribution de Linux de monter un fichier Mac OS X .dmg (mais pas de l’installer, car cela nécessiterait les API Mac OS X qui sont source fermée). README a des instru
-
LiveGraph Gratuit
Un traceur graphique en temps réel. Pendant que votre application calcule et enregistre les résultats d’un fichier CSV à l’aide de l’API LiveGraph Writer, le traceur vous permet de visualiser et de surveiller les résultats en
-
MGP Gratuit
Le plugin Maven GWT est utilisé pour compiler des fichiers source JavaScript à partir de la source Java. Le plugin exécute GWTCompiler, permet de configurer des options de compilateur, détecte automatiquement l’emplacement de
-
pGina Gratuit
pGina est un système d’authentification de remplacement open source pour le système d’exploitation Windows qui utilise des plugins faciles à écrire pour s’adapter à l’authentification via des extrémités arrière illimitées.
-
PostNuke module pnEWiki Gratuit
ErfurtWiki est une implémentation du système d’hypertexte WikiWikiWeb (écrit dans le langage de script PHP). pnEWiki est un postnuke-module pour l’intégration et l’amélioration d’ErfurtWiki dans PostNuke.
-
Stewien's Miscellanous Libraries Gratuit
Une collection de bibliothèques diverses, de petites applications et de services publics. Un peu de quelque chose pour tout le monde.
-
ioda fulltext engine Gratuit
ioda est un logiciel d’indexation fulltext, stockant des mots et des méta-données. Gère les opérateurs logiques, la parenthèse et les valeurs de distance de mot dans les requêtes. À utiliser comme complément d’une base de don
-
more - a C++ library Gratuit
Une bibliothèque polyvalente: STL connexes, comme les fermetures expressions lambda, et la commande partielle. Génération de code-compilation-liaison, et appels de fonction interprétés. Mathématiques et physique, avec spino