Invia software
  1. Casa
  2. Linux
  3. Altro
  4. Lurch
  5. Download

Lurch 0.4

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 3.0/5 - ‎1 ‎Voti

Circa Lurch

Software per l'insegnamento e l'apprendimento di dimostrazioni matematiche Dove la maggior parte dei software di dimostrazione matematica si concentra sulla logica formale (o su qualche altra area specialistica della matematica), Lurch mira ad essere veramente di uso generale, con un'interfaccia utente attracitve.

Programmi correlati

  • TOTAL .NET Protector Prova gratuita

    Poiché .NET è un ambiente gestito, c'è sempre il lato negativo di avere il codice aperto a chiunque utilizzi Reflector o Refractor.Skater TOTAL converte il codice MSIL (Microsoft Intermediate Language Code) (MSIL o CIL) dec

  • Ziga Gratuito

    Un'applicazione di condivisione file scritta in Java. Utilizza moduli per supportare diversi protocolli. Al momento è disponibile un modulo per il protocollo Napster e Gnutella.

  • Scriptol Xul Dev Gratuito

    Xul Dev significa per l'ambiente di sviluppo Xul. L'IDE ha lo scopo di progettare interfacce Xul e di realizzare programmi in qualsiasi linguaggio di programmazione. L'IDE è scritto in Scriptol C++ e disponibile in forma di o

  • cmpio library Gratuito

    Libcmpio è una libreria generica, che fornisce un modo semplice per manipolare i file di dati con lunghezza del record variabile, compressione dei record, creazione e controllo del volume trasparente e portabilità tra diverse

  • Nuke My Tablet Prova gratuita

    Nuke My Tablet protegge la tua privacy eliminando in modo sicuro i tuoi dati personali, come foto e video, e restituendo il telefono alle impostazioni di fabbrica. Ora puoi riutilizzare in sicurezza i vecchi dispositivi o agg

  • the prefuse visualization toolkit Gratuito

    Strumenti software per la creazione di applicazioni interattive di visualizzazione delle informazioni. Prefuse supporta un ricco set di funzionalità per la modellazione, la visualizzazione, l'animazione e l'interazione dei da

  • AJIO Gratuito

    AJIO consente di costruire vasetti di una o più classi. Il file jar creato contiene tutte le classi a carico da tutti i file jar a cui si fa riferimento.AJIO permet de crer UN jar partir d'une ou plusieurs classes et de l

  • AdaDLX Gratuito

    Questa è un'implementazione Ada dell'algoritmo Dancing Links X come nel documento di Donald E. Knuth. AdaDLX è usato per risolvere il puzzle delle Otto Regine, le griglie sudoku e il puzzle blocs in box.

  • Php5 Meta-Model Gratuito

    Il modello Php 5. Questo progetto ospita il modello ecore Php 5 e il suo generatore.

  • Spyc Gratuito

    Spyc è una semplice classe di caricatori/dumper YAML per PHP. Può essere utilizzato per caricare file YAML in strutture di dati PHP o per scaricare array PHP su semplici YAML. Per ulteriori informazioni su YAML, vedere www.ya