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

LETHAL

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

Sobre LETHAL

LETHAL é uma biblioteca Java para trabalhar com árvores finitas e autômatos de hedge. Fornece uma grande variedade de operações e avaliações de propriedades. Além disso, a biblioteca vem com uma interface de usuário gráfico scriptable para começar rapidamente.

Programas Relacionados

  • TorrentStrike Livre

    TorrentStrike é um rastreador PHP BitTorrent baseado em XTBDev. Inclui fórum phpbb, modelos gráficos, Multilang e instalador integrado.

  • zefext Livre

    O Zefext é uma estrutura estendida que se integra com PHP e ExtJS. Sistema baseado em Zend Framework. O sistema é construído sobre os objetos laterais PHP, gerando código javascript ExtJS. Opções incorporadas: gerenciamento d

  • Emacs mode for editing PmWiki wiki-pages Livre

    pmwiki-mode é um modo para Emacs que permite que você navegue por uma wiki PmWiki de dentro do Emacs, mas seu objetivo principal é permitir que você edite páginas wiki de dentro do Emacs.

  • Space Invaders Trabant Saves Earth Livre

    Este é um jogo 2d Space Invaders, escrito em C++ usando a biblioteca Allegro.

  • ReadItYourself! Livre

    Leia-se! é um AppleScript simples para NetNewsWire que exporta notícias não lidas de uma assinatura selecionada para um iPod. Ele usa PHP para a conversão e sua natureza simples faz dele um bom projeto de aprendizagem AppleSc

  • barebox Livre

    barebox é um bootloader projetado para sistemas incorporados. Ele é executado em uma variedade de arquiteturas, incluindo x86, ARM, MIPS, PowerPC e outros.Barebox pretende ser um bootloader versátil e flexível, não apenas

  • Universal Microchip PIC FW bootloader Livre

    Microchip PIC18F/16F Universal FW Bootloader com encription de download

  • Extremal Optimization Livre

    Um pacote para fornecer principalmente otimização extremal e outras heurísticas aplicáveis a uma variedade de problemas computacionais, mais notavelmente óculos de spin.

  • Linux USB AT76C503A Wireless Driver Livre

    Driver para dispositivos ethernet sem fiação usando o chip Atmel AT76C503A, incluindo o adaptador DLink DWL-120.

  • casper Livre

    O CASPER tem como objetivo fornecer um ambiente para a construção de um ASP. É baseado no kit de ferramentas Globus. O lado do cliente conta com um motor de portlet e inclui software desenvolvido e/ou derivado do GridSphere