Invia software
  1. Casa
  2. Linux
  3. Altro
  4. The Checker Framework
  5. Download

The Checker Framework

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 4.0/5 - ‎1 ‎Voti

Circa The Checker Framework

Il framework Checker è un insieme facilmente disteso di controllo/trasformazione per creare facilmente la gerarchia delle operazioni della catena da archiviare / da riutilizzare (in fase di esecuzione, se lo si desidera).

Programmi correlati

  • ajaxWM Gratuito

    ajaxWM è un window manager basato su ajax e python, che fornisce più terminali flessibili in un browser Web per un comodo controllo remoto di un computer tramite una rete senza dover installare alcun software sul lato client.

  • Twick.it API Wrapper Gratuito

    Se ti piace usare l'API Twick.it, dovresti dare un'occhiata a questi wrapper. Semplicemente chiamando alcuni metodi statici puoi leggere i dati dall'API e non devi preoccuparti di tutte le cose REST come l'invio di richieste

  • WURDE Gratuito

    WURDE è middleware per lo sviluppo di applicazioni robotiche. È progettato per essere estremamente semplice da sviluppare e facile da aggiungere supporto per protocolli di comunicazione alternativi. Include un sistema di gest

  • vTpl - Templating System Gratuito

    vTpl è un sistema di modelli al volo per siti Web dinamici. vTpl è destinato agli sviluppatori che desiderano allontanare la logica di visualizzazione dalla logica aziendale senza un grande sistema di modelli ingombrante. vTp

  • KML share Gratuito

    kmlshare è un software per siti Web basato su api di Google Maps. Gli utenti possono caricare file kml nel sito, che viene analizzato e i segnaposto vengono memorizzati nel database, rendendo il contenuto esplorabile e ricerc

  • PHersistence Gratuito

    PHersistence è un potente framework di persistenza relazionale di oggetti scritto per PHP. Destinato a coprire i back-end di database più comunemente utilizzati da db2 a MySQL e Progress. L'obiettivo di PHersistence è quello

  • Lamino Gratuito

    Lamino è un metalinguaggio di configurazione di alto livello che migliora l'IoC di base (Inversion of Control alias Dependency Injection) con stratificazione della configurazione e componenti incapsulati.

  • PIES 3.14159... complement ECMAScript 3! Gratuito

    PIES fornisce il meccanismo di pacchetto/importazione che è assente in ES3 (ECMAScript Language Specification 3rd edition, lo standard per JavaScript, JScript). E con molte librerie selezionate, PIES completerà ES3!

  • Kaolak Community System Gratuito

    Kaolak è un sistema di comunità basato sul web in esecuzione su Apache con PHP4 e MySql. Una comunità è definita dai suoi utenti e documenti e forma un ramo kaolak. Kaolak è progettato per gestire molti rami in modo trasp

  • bisrulz Gratuito

    Un motore di regole basato su metadati basato su Java. Questo motore ti consentirà di configurare i tuoi metadati specifici del dominio. Fornisce funzionalità come definizioni di regole dinamiche, concatenamento di regole ed