Invia software
  1. Casa
  2. Windows
  3. Altro
  4. Maude .NET
  5. Download

Maude .NET 2.4.0.3

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 5.0/5 - ‎1 ‎Voti

Circa Maude .NET

Porta di Maude a Visual C++ .NET. Maude è un linguaggio riflettente ad alte prestazioni che supporta la logica equazionale e riscrittura. Originariamente in C++ per Linux, contiene il progetto Visual Studio e il codice patch necessari per compilare Maude per .NET.

Programmi correlati

  • ctetris Gratuito

    ctetris è un tetris-clone per la console, scritto in Do usando la libreria ncurses. ctetris è stato rinominato ctris nell'ottobre 2005. Nuova homepage: http://hackl.dhs.org/ctris

  • ADMLink NI Prova gratuita

    ADMLink NI (Network Inventory) consente agli amministratori di automatizzare il processo di descovering dei dispositivi connessi alla rete e di raccogliere inventario software e hardware dettagliato da oltre 6000 fornitori.

  • ThinkPad Access Point Prova gratuita

    ThinkPad Access Point è un software facile da usare che trasforma il tuo laptop ThinkPad in un punto di accesso wireless Wi-Fi. Chiunque nelle vicinanze può navigare in Internet attraverso la condivisione. Questa è anche una

  • JoomlaOnStick Gratuito

    Joomla On Stick ti consente di eseguire Joomla da una chiavetta USB. È progettato principalmente per le persone che vogliono essere in grado di demo il loro sito su qualsiasi computer, ma può anche essere utilizzato da utenti

  • OpenXUP - an XUP-based UI framework Gratuito

    XUP (Extensible User Interface Protocol) è un protocollo basato su SOAP per la distribuzione di eventi e aggiornamenti incrementali dell'interfaccia utente. Questo progetto crea un framework di sviluppo di applicazioni Web so

  • Perl TurtleShell MUD Client Gratuito

    Questo è principalmente un client MUD che sto lavorando per rendere più estensibile come shell perl generale per qualsiasi cosa tu possa accedere con telnet. Il client MUD supporta alcune sintassi avanzate avanzate, ad esemp

  • PEGames Gratuito

    Un CMS realizzato per i siti web di Gaming, che piacerà gestire i contenuti tramite console e per categoria (anteprime, recensioni, ecc.). È inoltre possibile aggiungere/eliminare una console e aggiungere/eliminare una catego

  • Movie IMDB Blurb Requester Gratuito

    Questo programma, quando viene data una cartella di cartelle di film, li scorrerà e scarica la sfocatura, il poster e la classificazione IMDB, quindi li posizionerà all'interno di quella cartella. Utilizza una ricerca su Goog

  • SimpleDiscogs Gratuito

    Libreria PHP 5.3 per lavorare con l'API Discogs. La libreria è "semplice" perché utilizza SimpleXML per crearne l&output.

  • ILDump Gratuito

    ILDump fa proprio questo: analizza eseguibili e librerie .NET e ne serializza il contenuto, inclusa l'origine del linguaggio intermedio per ogni metodo, in un file XML.