The Checker Framework

Programas Relacionados

• ajaxWM Livre

  AjaxWM é um gerenciador de janelas temático baseado em ajax e python, que fornece vários terminais flexíveis em um navegador da Web para um confortável controle remoto de um computador através de uma rede sem ter que instalar

• Twick.it API Wrapper Livre

  Se você gosta de usar a API Twick.it, você deve dar uma olhada nestes invólucros. Simplesmente chamando alguns métodos estáticos, você pode ler dados da API e não precisa se preocupar com todas as coisas rest, como enviar sol

• WURDE Livre

  WURDE é middleware para desenvolvimento de aplicações robóticas. Ele foi projetado para ser extremamente simples de desenvolver e fácil de adicionar suporte para protocolos de comunicação alternativos. Inclui um sistema de ge

• vTpl - Templating System Livre

  vTpl é um sistema de hasplating de moscas para sites dinâmicos. O vTpl é destinado a desenvolvedores que desejam tirar sua lógica de exibição da lógica de negócios sem um grande sistema de templating volumoso. O vTpl suporta

• KML share Livre

  kmlshare é um software de site baseado em api do Google Maps. Os usuários podem carregar arquivos kml para o site, que é analisado e marcas de lugar são armazenadas no banco de dados, tornando o conteúdo possível e pesquisáve

• PHersistence Livre

  PHersistence é um poderoso quadro de persistência relacional de objetos escrito para PHP. Com o objetivo de cobrir os backends de banco de dados mais usados do db2 ao MySQL e ao Progress. O objetivo da PHersistence é introduz

• Lamino Livre

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

• PIES 3.14159... complement ECMAScript 3! Livre

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

• Kaolak Community System Livre

  Kaolak é um sytem comunitário baseado na web que executa em Apache com PHP4 e MySql. Uma comunidade é definida por seus usuários e documentos e forma uma filial kaolak. Kaolak foi projetado para lidar com muitos ramos tra

• bisrulz Livre

  Um mecanismo de regras de metadados baseado em Java. Este motor permitirá que você configure seus próprios metadados específicos de domínio. Ele fornece recursos como definições dinâmicas de regras, encadeamento de regras e é