Enviar Software
  1. Casa
  2. Linux
  3. Outros
  4. The Checker Framework
  5. Download

The Checker Framework

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 4.0/5 - ‎1 ‎votos

Sobre The Checker Framework

O quadro do Checker é um conjunto facilmente expansível de verificação/transformação para construir a hierarquia das operações em cadeia facilmente para armazenar/ser reutilizado (no tempo de execução, se quiser).

Programas Relacionados

  • ajaxWM Grátis

    O ajaxWM é um gestor de janelas baseado em ajax-e-python, que fornece vários terminais flexíveis num navegador web para um controlo remoto confortável de um computador através de uma rede sem ter que instalar qualquer softwar

  • Twick.it API Wrapper Grátis

    Se gosta de usar a API Twick.it, deve dar uma olhada nestes invólucros. Basta ligar para alguns métodos estáticos, pode ler dados da API e não tem de se preocupar com todas as coisas DO REST, como enviar pedidos HTTP ou anali

  • WURDE Grátis

    WURDE é middleware para desenvolvimento de aplicações de robótica. Foi concebido para ser maximamente simples de desenvolver e de fácil adição de suporte para protocolos de comunicações alternativos. Inclui um sistema de gest

  • vTpl - Templating System Grátis

    vTpl é um sistema de templating fly para sites dinâmicos. O vTpl destina-se a desenvolvedores que pretendam afastar a sua lógica de exibição da lógica do negócio sem um grande sistema de templating volumoso. vTpl suporta cach

  • KML share Grátis

    kmlshare é um software de site baseado em Api do Google Maps. Os utilizadores podem carregar ficheiros kml para o site, que é analisado e as marcas de lugares são armazenadas na base de dados, tornando o conteúdo navegado e p

  • PHersistence Grátis

    PHersistence é um poderoso quadro de persistência relacional de objetos escrito para PHP. Destinado a cobrir as bases de dados mais usadas de db2 para MySQL e Progress. O objetivo da PHersistence é introduzir a persistência d

  • Lamino Grátis

    Lamino é uma metalanguagem de configuração de alto nível que melhora o IoC básico (Inversão de Controlo a.k.a. Injeção de Dependência) com camadas de configuração e componentes encapsulados.

  • PIES 3.14159... complement ECMAScript 3! Grátis

    A PIES fornece o mecanismo de embalagem/importação que está ausente no ES3 (ECMAScript Language Specification 3ª edição, a norma para JavaScript, JScript). E com muitas bibliotecas selecionadas, a PIES irá complementar a ES3!

  • Kaolak Community System Grátis

    Kaolak é um símio comunitário baseado na web que corre em Apache com PHP4 e MySql. Uma comunidade é definida pelos seus utilizadores e documentos e forma um ramo kaolak. Kaolak é projetado para lidar com muitos ramos de f

  • bisrulz Grátis

    Um motor de metadados guiados por metadados baseado em Java. Este motor permitir-lhe-á configurar os metadados específicos do seu próprio domínio. Fornece características como definições dinâmicas de regras, acorrentamento de