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

Maude .NET 2.4.0.3

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 5.0/5 - ‎1 ‎Votos

acerca de Maude .NET

Un puerto de Maude a Visual C++ .NET. Maude es un lenguaje reflexivo de alto rendimiento que soporta la lógica ecuacional y de reescritura. Originalmente en C++ para Linux, contiene el proyecto de Visual Studio y el código de revisión necesario para compilar Maude para .NET.

Programas relacionados

  • ctetris Gratis

    ctetris es un clon de tetris para la consola, escrito en C mediante la biblioteca ncurses. ctetris fue renombrado como ctris en octubre de 2005. Nueva página de inicio: http://hackl.dhs.org/ctris

  • ADMLink NI Prueba gratuita

    ADMLink NI (Inventario de red) permite a los administradores automatizar el proceso de descubierto de dispositivos conectados a la red y recopilar inventario detallado de software y hardware de más de 6000 proveedores.Este

  • ThinkPad Access Point Prueba gratuita

    ThinkPad Access Point es un software fácil de usar que convierte tu portátil ThinkPad en un punto de acceso inalámbrico Wi-Fi. Cualquier persona cercana puede navegar por Internet a través de su uso compartido. Esta es tambié

  • JoomlaOnStick Gratis

    Joomla On Stick le permite ejecutar Joomla desde una memoria USB. Está diseñado principalmente para personas que quieren ser capaces de demostrar su sitio en cualquier ordenador, pero también puede ser utilizado por usuarios

  • OpenXUP - an XUP-based UI framework Gratis

    XUP (Extensible User Interface Protocol) es un protocolo basado en SOAP para entregar eventos y actualizaciones incrementales de la interfaz de usuario. Este proyecto crea un marco de desarrollo de aplicaciones web sobre XUP,

  • Perl TurtleShell MUD Client Gratis

    Este es principalmente un cliente MUD que estoy trabajando para hacer más extensible como un shell perl general para cualquier cosa que pueda iniciar sesión con telnet. El cliente MUD admite algunas sintaxis avanzadas ingeni

  • PEGames Gratis

    Un CMS hecho para los sitios web de Gaming, que le gustará administrar el contenido por consolas, y por una categoría (vistas previas, reseñas, etc.). También puede agregar/eliminar una consola y agregar o eliminar una catego

  • Movie IMDB Blurb Requester Gratis

    Este programa, cuando se le da una carpeta de carpetas de películas recorrerá las carpetas y descargará el borrón, póster y clasificación de IMDB, y luego los colocará dentro de esa carpeta. Utiliza una búsqueda en Google par

  • SimpleDiscogs Gratis

    Biblioteca PHP 5.3 para trabajar con la API de Discogs. La biblioteca es "simple" porque utiliza SimpleXML para crear su salida.

  • ILDump Gratis

    ILDump hace precisamente eso: analiza los ejecutables y bibliotecas de .NET y serializa su contenido, incluido el origen de lenguaje intermedio para cada método, en un archivo XML.