Este é o aplicativo do Windows chamado libmx cuja versão mais recente pode ser baixada como libmx-0.2.tar.gz. Ele pode ser executado online no provedor de hospedagem gratuito OnWorks para estações de trabalho.
Baixe e execute online este aplicativo chamado libmx 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
libmx
DESCRIÇÃO
"mx" é um driver de teste de linha de comando para "libmx" (veja abaixo) avaliando o tipo e o valor de uma expressão de cálculo lambda (http://en.wikipedia.org/wiki/Lambda_calculus) fornecido pelo usuário.
"libnpmx.so" ("npmx.dll" no MS Windows) é um plugin NPAPI (http://en.wikipedia.org/wiki/NPAPI) para o navegador Mozilla Firefox baseado em "libmx".
"libmx" fornece uma estrutura para lidar com expressões de cálculo lambda (estendidas e digitadas opcionalmente). Entre outros recursos que oferece
o uma máquina de instanciação de modelo para avaliar o valor de uma expressão de cálculo lambda,
o uma máquina de instanciação de modelo para avaliar o tipo de Hindley-Milner (http://en.wikipedia.org/wiki/Hindley-Milner) de uma expressão de cálculo lambda, e
o gerenciamento de memória baseado em contador de referência para expressões e tipos de cálculo lambda.
"libmx" é escrito em C (C99).
Interface com o usuário
Linha de comando, plug-ins
Linguagem de Programação
C
Categorias
Este é um aplicativo que também pode ser obtido em https://sourceforge.net/projects/libmx/. Ele foi hospedado no OnWorks para ser executado online da maneira mais fácil a partir de um de nossos Sistemas Operativos gratuitos.