Enviar software
  1. Casa
  2. Windows
  3. Outros
  4. Maude .NET
  5. Download

Maude .NET 2.4.0.3

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 5.0/5 - ‎1 ‎Votos

Sobre Maude .NET

Uma porta de Maude para Visual C++ .NET. Maude é uma linguagem reflexiva de alto desempenho que apoia a lógica equação e reescrita. Originalmente em C++ para Linux, este contém o projeto Visual Studio e o código de patch necessários para compilar Maude para .NET.

Programas Relacionados

  • ctetris Livre

    ctetris é um clone de tetris para o console, escrito em C usando a biblioteca ncurses. Ctetris foi renomeada para ctris em outubro de 2005. Nova página inicial: http://hackl.dhs.org/ctris

  • ADMLink NI Avaliação gratuita

    O ADMLink NI (Network Inventory) permite que os administradores automatizem o processo de descodumento de dispositivos conectados à rede e coletem inventário detalhado de software e hardware de mais de 6000 fornecedores.Es

  • ThinkPad Access Point Avaliação gratuita

    ThinkPad Access Point é um software fácil de usar que transforma seu laptop ThinkPad em um ponto de acesso sem fio Wi-Fi. Qualquer pessoa próxima pode navegar na Internet através do seu compartilhamento. Esta também é uma sol

  • JoomlaOnStick Livre

    Joomla On Stick permite que você execute Joomla a partir de um pendrive. Ele é projetado principalmente para pessoas que querem ser capazes de demo seu site em qualquer computador, mas também pode ser usado por usuários despr

  • OpenXUP - an XUP-based UI framework Livre

    XUP (Extensoible User Interface Protocol) é um protocolo baseado em SABÃO para fornecer eventos e atualizações incrementais de interface do usuário. Este projeto constrói uma estrutura de desenvolvimento de aplicativos web em

  • Perl TurtleShell MUD Client Livre

    Este é principalmente um cliente MUD que eu estou trabalhando em tornar mais extensível como uma concha perl geral para qualquer coisa que você pode entrar com telnet. O cliente MUD suporta algumas sintaxes avançadas bacanas

  • PEGames Livre

    Um CMS feito para sites de Jogos, que gostaria de gerenciar conteúdo por consoles, e por uma categoria (visualizações, avaliações, etc.). Você também pode adicionar/excluir um console e adicionar/excluir uma categoria. Usa PH

  • Movie IMDB Blurb Requester Livre

    Este programa, quando dado uma pasta de pastas de filme irá pedalar através deles e baixar a sinopse, pôster e classificação do IMDB, em seguida, colocá-los dentro dessa pasta. Ele usa uma pesquisa no Google para primeiro enc

  • SimpleDiscogs Livre

    Biblioteca PHP 5.3 para trabalhar com a API Discogs. A biblioteca é "simple" porque usa SimpleXML para criar sua saída.

  • ILDump Livre

    O ILDump faz exatamente isso - analisa .NET executáveis e bibliotecas e serializa seus conteúdos, incluindo a fonte de idioma intermediário para cada método, em um arquivo XML.