Este é o aplicativo Linux chamado Catlab.jl, cuja versão mais recente pode ser baixada como v0.17.0sourcecode.tar.gz. Ele pode ser executado online no provedor de hospedagem gratuita OnWorks para estações de trabalho.
Baixe e execute on-line este aplicativo chamado Catlab.jl com OnWorks gratuitamente.
Siga estas instruções para executar este aplicativo:
- 1. Baixe este aplicativo em seu PC.
- 2. Entre em nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que você deseja.
- 3. Carregue este aplicativo em tal gerenciador de arquivos.
- 4. Inicie o emulador OnWorks Linux online ou Windows online ou emulador MACOS online a partir deste site.
- 5. No sistema operacional OnWorks Linux que você acabou de iniciar, acesse nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que deseja.
- 6. Baixe o aplicativo, instale-o e execute-o.
SCREENSHOTS
Ad
Catlab.jl
DESCRIÇÃO
Catlab.jl é um framework para teoria de categorias aplicada e computacional, escrito na linguagem Julia. O Catlab fornece uma biblioteca de programação e uma interface interativa para aplicações da teoria de categorias em campos científicos e de engenharia. Ele enfatiza categorias monoidais devido à sua ampla aplicabilidade, mas pode suportar qualquer estrutura categórica que seja formalizável como uma teoria algébrica generalizada. Em primeiro lugar, o Catlab fornece estruturas de dados, algoritmos e serialização para teoria de categorias aplicada. Macros oferecem uma sintaxe conveniente para especificar doutrinas categóricas e sistemas de manipulação simbólica com segurança de tipos. Diagramas de fiação (também conhecidos como diagramas de string) são suportados por estruturas de dados especializadas e podem ser serializados de e para GraphML (um formato baseado em XML) e JSON.
Recursos
- Biblioteca de programação
- Ambiente de computação interativo
- Sistema de álgebra computacional:
- O Catlab também pode ser usado interativamente em notebooks Jupyter
- O Catlab servirá como um sistema de álgebra computacional para álgebra categórica
- Ao contrário da maioria dos sistemas de álgebra computacional, todas as expressões são digitadas usando fragmentos da teoria dos tipos dependentes, chamados teorias algébricas generalizadas.
Linguagem de Programação
Julia
Categorias
Este é um aplicativo que também pode ser obtido em https://sourceforge.net/projects/catlab-jl.mirror/. Ele foi hospedado no OnWorks para ser executado online da maneira mais fácil em um de nossos sistemas operacionais gratuitos.
