Este é o aplicativo para Windows chamado Plutus, cuja versão mais recente pode ser baixada como plutus-metatheory.tar.gz. Ele pode ser executado online no provedor de hospedagem gratuita OnWorks para estações de trabalho.
Baixe e execute online este aplicativo chamado Plutus 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 qualquer emulador on-line OS OnWorks a partir deste site, mas um emulador on-line melhor do Windows.
- 5. No sistema operacional OnWorks Windows 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 e instale-o.
- 7. Baixe o Wine de seus repositórios de software de distribuição Linux. Depois de instalado, você pode clicar duas vezes no aplicativo para executá-lo com o Wine. Você também pode experimentar o PlayOnLinux, uma interface sofisticada do Wine que o ajudará a instalar programas e jogos populares do Windows.
Wine é uma forma de executar software Windows no Linux, mas sem a necessidade de Windows. Wine é uma camada de compatibilidade do Windows de código aberto que pode executar programas do Windows diretamente em qualquer desktop Linux. Essencialmente, o Wine está tentando reimplementar o suficiente do Windows do zero para que possa executar todos os aplicativos do Windows sem realmente precisar do Windows.
SCREENSHOTS
Ad
Plutus
DESCRIÇÃO
Plutus é o framework de desenvolvimento de contratos inteligentes para a blockchain Cardano, criado em Haskell. Ele fornece a infraestrutura central para escrever, testar e implementar contratos inteligentes seguros e determinísticos na plataforma Cardano. O Plutus inclui uma linguagem funcional personalizada (Plutus Core), uma DSL embarcada de alto nível (Plutus Tx) para escrever contratos em Haskell e uma infraestrutura off-chain para gerenciar interações. Ele garante fortes garantias de correção por meio de verificação formal e paradigmas de programação funcional.
Recursos
- Haskell DSL incorporado (Plutus Tx) para lógica de contrato
- Plutus Core para representação de código on-chain
- Infraestrutura off-chain para execução de contratos
- Verificação formal e segurança de tipo
- Integração com nó e carteira Cardano
- Simulador e ambientes de teste para desenvolvimento
Linguagem de Programação
Haskell
Categorias
Este é um aplicativo que também pode ser obtido em https://sourceforge.net/projects/plutus.mirror/. Ele foi hospedado no OnWorks para ser executado online da maneira mais fácil em um de nossos sistemas operacionais gratuitos.
