Soumettre un logiciel
  1. Accueil
  2. Windows
  3. Autres
  4. Visual Lambda Calculator with Mind Maps

Visual Lambda Calculator with Mind Maps

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 4.5/5 - ‎2 ‎Votes
Télécharger

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.

historique de la version

  • Version bin posté sur 2008-10-24
    Plusieurs correctifs et mises à jour
  • Version N/A posté sur 2008-10-24

Détails du programme

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