eXtensible Abstract State Machines 5.2-8

Programmi correlati

• Exuberant Ctags Gratuito

  Exuberant Ctags è una reimplementazione multilingue dell'utilità Unix ctags. Ctags genera un indice delle definizioni del codice sorgente che viene utilizzato da numerosi editor e utilità per localizzare istantaneamente le de

• TechEd 2010 Schedule Tool Prova gratuita

  Scarica l'app North America TechEd 2010 Schedule e Twitter per creare il tuo programma e monitorare ciò che sta succedendo tramite tag hash Twitter personalizzabili. Visualizzare tutte le sessioni pianificate e creare la pia

• Laview HD Gratuito

  Laview HD è un software di monitoraggio appositamente sviluppato per iPad da Laview Security Inc.I clienti possono visualizzare lo streaming video in tempo reale, controllare le operazioni sul tablet Android. Descrizione dell

• SystemV Transport tO Remote Kernel Gratuito

  Stork è un'estensione del livello di comunicazione tra processi linux 2.6 systemV. Il processo cicogna può condividere oggetti IPC, come semafori o messaggi che passano buffer, in un cluster multi-architettura distribuito.

• ChillEdit Gratuito

  Un editor di testo, che si spera si evolverà in un editor di codice sorgente completo e potente, che non compilerà codice, ma supporterà l'evidenziazione della sintassi e gli errori di sintassi per i linguaggi più comuni (C++

• PyAALib-JyAALib: Asynchronous Actions Gratuito

  Il progetto PyAALib-JyAALib è un'implementazione Python-Java/Jython di Asynchronous Action Framework basata su Pure Object Oriented Concepts. Massive Parallel Framework in Python Language - Completamente compatibile con Jytho

• Magnify Keyboard Input Prova gratuita

  Ingrandisci i campi di input del testo, sposta il cursore e seleziona il testo durante la copia, il tutto semplicemente facendo scorrere il dito sulla tastiera. Ingrandisci anche per spostare rapidamente il cursore, anche ai

• Pexpect - Pure Python Expect-like module Gratuito

  Pexpect è un modulo Python per la generazione di applicazioni figlio; controllarli; e rispondendo ai modelli previsti nella loro produzione. Pexpect può essere utilizzato per automatizzare applicazioni interattive come ssh, f

• The Shadow Linux Kernel Patchset Gratuito

  Shadow-sources è un patchset del kernel Linux progettato per essere stabile, includere correzioni e prestazioni che migliorano le patch, ed è progettato per essere modulare consentendo ad altri di includere o sottrarre facilm

• ep128emu Gratuito

  ep128emu è un emulatore portatile dei computer Enterprise 64/128, ZX Spectrum 48/128 e Amstrad CPC 464/664/6128