The Checker Framework

Programas relacionados

• ajaxWM Gratis

  ajaxWM es un gestor de ventanas basado en ajax y python, que proporciona múltiples terminales flexibles en un navegador web para un cómodo control remoto de un ordenador a través de una red sin tener que instalar ningún softw

• Twick.it API Wrapper Gratis

  Si desea utilizar la API de Twick.it, debe echar un vistazo a estos contenedores. Simplemente llamando a algunos métodos estáticos puede leer datos de la API y no tiene que preocuparse por todas las cosas REST como enviar sol

• WURDE Gratis

  WURDE es middleware para el desarrollo de aplicaciones robóticas. Está diseñado para ser muy sencillo de desarrollar y fácil de agregar soporte para protocolos de comunicaciones alternativos. Incluye un sistema de gestión de

• vTpl - Templating System Gratis

  vTpl es un sistema de plantillas sobre la marcha para sitios web dinámicos. vTpl está pensado para desarrolladores que desean alejar su lógica de visualización de la lógica empresarial sin un gran sistema de plantillas volumi

• KML share Gratis

  kmlshare es un software de sitio web basado en google maps api. Los usuarios pueden cargar archivos kml en el sitio, que se analiza y las marcas de posición se almacenan en la base de datos, lo que hace que el contenido se pu

• PHersistence Gratis

  PHersistence es un poderoso marco de persistencia relacional de objetos escrito para PHP. Dirigido a cubrir los backends de bases de datos más utilizados desde db2 a MySQL y Progress. El objetivo de PHersistence es introducir

• Lamino Gratis

  Lamino es un metalenguaje de configuración de alto nivel que mejora la inversión básica de IoC (inversión de control a.k.a.) con capas de configuración y componentes encapsulados.

• PIES 3.14159... complement ECMAScript 3! Gratis

  PIES proporciona el mecanismo de paquete/importación que está ausente en ES3 (ECMAScript Language Specification 3rd edition, el estándar para JavaScript, JScript). Y con muchas bibliotecas seleccionadas, PIES complementará ES

• Kaolak Community System Gratis

  Kaolak es un sistema comunitario basado en web que se ejecuta en Apache con PHP4 y MySql. Una comunidad es definida por sus usuarios y documentos y forma una rama kaolak. Kaolak está diseñado para manejar muchas ramas de

• bisrulz Gratis

  Un motor de reglas controlado por metadatos basado en Java. Este motor le permitirá configurar sus propios metadatos específicos del dominio. Proporciona características como definiciones de reglas dinámicas, encadenamiento d