Visual Lambda Calculator with Mind Maps

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