Invia software
  1. Casa
  2. Windows
  3. Altro
  4. Visual Lambda Calculator with Mind Maps

Visual Lambda Calculator with Mind Maps

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 4.5/5 - ‎2 ‎Voti
Scaricare

Introduciamo una rappresentazione completamente visiva basata su mappe mentali tipificate per rappresentare i passaggi di calcolo per un calcolatore lambda puro non tipizzata, VLM.

cronologia delle versioni

  • Versione bin pubblicato il 2008-10-24
    Diverse correzioni e aggiornamenti
  • Versione N/A pubblicato il 2008-10-24

Dettagli del programma

Programmi correlati

  • XML-RPC for C/C++ (Xmlrpc-c) Gratuito

    Libreria di programmazione per la scrittura di un server o client XML-RPC in C o C++. XML-RPC è un protocollo di rete standard che consente a un programma client di effettuare una semplice richiesta di tipo RPC (Remote Proced

  • Visio-EMF Bridge Gratuito

    Visio-EMF Bridge offre rispettivamente la trasformazione degli stencil di Visio e dei modelli di Visio in metamodelli EMF e modelli EMF. Il bridge consente l'elaborazione di modelli di Visio con strumenti EMF, ad esempio open

  • DMG Automounter for Linux Gratuito

    DMG Automounter è uno script nautilus che consente a qualsiasi distribuzione di Linux di montare un file mac OS X .dmg (ma non installarlo, poiché ciò richiederebbe le API Di Mac OS X che sono closed source). README ha intere

  • LiveGraph Gratuito

    Plotter grafico in tempo reale. Mentre l'applicazione calcola e registra i risultati in un file CSV utilizzando l'API LiveGraph Writer, il plotter consente di visualizzare e monitorare i risultati in tempo reale, tracciando i

  • MGP Gratuito

    Il plugin Maven GWT viene utilizzato per compilare file di origine JavaScript dall'origine Java. Il plugin esegue GWTCompiler, consente di configurare le opzioni del compilatore, rileva automaticamente il percorso dei file di

  • pGina Gratuito

    pGina è un sistema di autenticazione sostitutiva open source per il sistema operativo Windows che utilizza plug-in facili da scrivere per l'autenticazione tramite back-end illimitati.

  • PostNuke module pnEWiki Gratuito

    ErfurtWiki è un'implementazione del sistema ipertesto WikiWikiWeb (scritto nel linguaggio di scripting PHP). pnEWiki è un modulo PostNuke per l'integrazione e il miglioramento di ErfurtWiki in PostNuke.

  • Stewien's Miscellanous Libraries Gratuito

    Raccolta di librerie varie, piccole applicazioni e utilità. Un po' di qualcosa per tutti.

  • ioda fulltext engine Gratuito

    ioda è un software di indicizzazione fulltext, che memorizza parole e metadati. Gestisce gli operatori logici, le parentesi e i valori della distanza delle parole nelle query. Da utilizzare come supplemento di un database esi

  • more - a C++ library Gratuito

    Una libreria polivalente: legata a STL, come le chiusure espressioni lambda e l'ordinamento parziale. Generazione di codice-compilazione-collegamento e chiamate di funzione interpretate. Matematica e fisica, con spinori, un