Enviar software
  1. Casa
  2. Linux
  3. Otro
  4. The Checker Framework
  5. Download

The Checker Framework

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 4.0/5 - ‎1 ‎Votos

acerca de The Checker Framework

El marco de trabajo de Checker es un conjunto fácilmente ampliable de comprobación/transformación para crear la jerarquía de operaciones de cadena fácilmente para almacenar/para volver a crear y volver a utilizar (en tiempo de ejecución si lo desea).

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