LETHAL
Poderá descarregar em 5 segundos.
Também pode clicar no seguinte Link de descarregamento externo para começar a descarregar:
http://sourceforge.net/projects/lethal/files/twb-0.9.jar/download
Sobre LETHAL
LETHAL é uma biblioteca de Java para trabalhar com árvore finita e autómatos de sebe. Proporciona uma grande variedade de operações e avaliações de propriedade. Além disso, a biblioteca vem com uma interface de utilizador gráfico scriptable para começar rapidamente.
Programas Relacionados
-
TorrentStrike Grátis
TorrentStrike é um localizador PHP BitTorrent baseado em XTBDev. Inclui o fórum phpbb, modelos gráficos, Multilang e instalador integrado.
-
zefext Grátis
O Zefext é um quadro alargado que se integra com PHP e ExtJS. Sistema zend baseado no quadro. O sistema é construído sobre os objetos laterais PHP, gerando código javascript ExtJS. Opções incorporadas: gestão de utilizadores,
-
Emacs mode for editing PmWiki wiki-pages Grátis
o modo pmwiki é um modo para Emacs que permite navegar num Wiki PmWiki de dentro de Emacs, mas o seu principal objetivo é permitir-lhe editar páginas wiki de dentro de Emacs.
-
Space Invaders Trabant Saves Earth Grátis
Este é um jogo 2d Space Invaders, escrito em C++ usando a biblioteca Allegro.
-
ReadItYourself! Grátis
Leia-se A si mesmo! é um AppleScript simples para o NetNewsWire que exporta itens noticiosos não lidos de uma subscrição selecionada para um iPod. Usa PHP para a conversão e a sua natureza simples torna-o um bom projeto de ap
-
barebox Grátis
Barebox é um bootloader projetado para sistemas incorporados. Funciona com uma variedade de arquiteturas, incluindo x86, ARM, MIPS, PowerPC e outros.A barebox pretende ser um bootloader versátil e flexível, não só para o a
-
Universal Microchip PIC FW bootloader Grátis
Microchip PIC18F/16F Universal FW Bootloader com ecrição de descarregamento
-
Extremal Optimization Grátis
Um pacote para fornecer principalmente extremal otimização e outras heurísticas aplicáveis a uma variedade de problemas computacionais, mais notavelmente óculos de centrifugação.
-
Linux USB AT76C503A Wireless Driver Grátis
Controlador para dispositivos ethernet sem fios utilizando o chip Atmel AT76C503A, incluindo o adaptador DLink DWL-120.
-
casper Grátis
O CASPER visa proporcionar um ambiente para a construção de um ASP. Baseia-se no kit de ferramentas Globus. O lado do cliente conta com um motor de portalet e inclui software desenvolvido por e/ou derivado do Projeto GridSp