The Checker Framework

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