Si tratta dell'app per Windows denominata Catlab.jl, la cui ultima versione può essere scaricata come v0.17.1sourcecode.tar.gz. Può essere eseguita online sul provider di hosting gratuito OnWorks per workstation.
Scarica ed esegui online gratuitamente questa app denominata Catlab.jl con OnWorks.
Segui queste istruzioni per eseguire questa app:
- 1. Scaricata questa applicazione sul tuo PC.
- 2. Entra nel nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 3. Carica questa applicazione in tale file manager.
- 4. Avvia qualsiasi emulatore online OS OnWorks da questo sito Web, ma migliore emulatore online Windows.
- 5. Dal sistema operativo OnWorks Windows che hai appena avviato, vai al nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 6. Scarica l'applicazione e installala.
- 7. Scarica Wine dai repository software delle tue distribuzioni Linux. Una volta installato, puoi quindi fare doppio clic sull'app per eseguirli con Wine. Puoi anche provare PlayOnLinux, un'interfaccia fantasiosa su Wine che ti aiuterà a installare programmi e giochi Windows popolari.
Wine è un modo per eseguire il software Windows su Linux, ma senza Windows richiesto. Wine è un livello di compatibilità Windows open source in grado di eseguire programmi Windows direttamente su qualsiasi desktop Linux. Essenzialmente, Wine sta cercando di re-implementare abbastanza Windows da zero in modo che possa eseguire tutte quelle applicazioni Windows senza effettivamente bisogno di Windows.
IMMAGINI
Ad
Catlab.jl
DESCRIZIONE
Catlab.jl è un framework per la teoria delle categorie applicata e computazionale, scritto nel linguaggio Julia. Catlab fornisce una libreria di programmazione e un'interfaccia interattiva per le applicazioni della teoria delle categorie in ambito scientifico e ingegneristico. Si concentra sulle categorie monoidali per la loro ampia applicabilità, ma può supportare qualsiasi struttura categoriale formalizzabile come teoria algebrica generalizzata. Innanzitutto, Catlab fornisce strutture dati, algoritmi e serializzazione per la teoria delle categorie applicata. Le macro offrono una sintassi pratica per specificare dottrine categoriali e sistemi di manipolazione simbolica type-safe. I diagrammi di cablaggio (noti anche come diagrammi di stringa) sono supportati tramite strutture dati specializzate e possono essere serializzati da e verso GraphML (un formato basato su XML) e JSON.
Caratteristiche
- Libreria di programmazione
- Ambiente informatico interattivo
- Sistema di algebra informatica:
- Catlab può anche essere utilizzato in modo interattivo nei notebook Jupyter
- Catlab fungerà da sistema di algebra informatica per l'algebra categoriale
- A differenza della maggior parte dei sistemi di algebra informatica, tutte le espressioni sono tipizzate utilizzando un frammento di teoria dei tipi dipendenti chiamato teorie algebriche generalizzate
Linguaggio di programmazione
Julia
Categorie
Questa applicazione può essere scaricata anche da https://sourceforge.net/projects/catlab-jl.mirror/. È ospitata su OnWorks per poter essere eseguita online nel modo più semplice da uno dei nostri sistemi operativi gratuiti.
