The Checker Framework

Programmes connexes

• ajaxWM Gratuit

  ajaxWM est un gestionnaire de fenêtre s’appuyant sur l’ajax et le python, qui fournit plusieurs terminaux flexibles dans un navigateur Web pour contrôler confortablement à distance un ordinateur via un réseau sans avoir à ins

• Twick.it API Wrapper Gratuit

  Si vous aimez utiliser l’Twick.it API, vous devriez jeter un oeil à ces emballages. En appelant simplement quelques méthodes statiques, vous pouvez lire les données de l’API et n’ont pas à vous soucier de tous les trucs REST

• WURDE Gratuit

  WURDE est middleware pour le développement d’applications robotiques. Il est conçu pour être au maximum simple à développer et facile à ajouter la prise en charge pour les protocoles de communication alternatifs. Il comprend

• vTpl - Templating System Gratuit

  vTpl est un système de templation à la volée pour les sites Web dynamiques. vTpl est destiné aux développeurs qui veulent obtenir leur logique d’affichage loin de la logique d’entreprise sans un grand système de templating en

• KML share Gratuit

  kmlshare est un logiciel de site Web basé sur google maps api. Les utilisateurs peuvent télécharger des fichiers kml sur le site, qui est parsed et les repères sont stockés dans la base de données, ce qui rend le contenu sour

• PHersistence Gratuit

  PHersistence est un puissant cadre de persistance relationnelle objet écrit pour PHP. Destiné à couvrir les backends de base de données les plus couramment utilisés de db2 à MySQL et Progress. L’objectif de PHersistence est d

• Lamino Gratuit

  Lamino est un métalanguage de configuration de haut niveau qui améliore l’IoC de base (Inversion of Control alias Injection de dépendance) avec superposition de configuration et composants encapsulés.

• PIES 3.14159... complement ECMAScript 3! Gratuit

  Pies fournir le paquet / mécanisme d’importation qui est absent dans ES3 (ECMAScript Language Specification 3ème édition, la norme pour JavaScript, JScript). Et avec de nombreuses bibliothèques sélectionnées, PIES complétera

• Kaolak Community System Gratuit

  Kaolak est un sytem communautaire basé sur le Web fonctionnant sur Apache avec PHP4 et MySql. Une communauté est définie par ses utilisateurs et documents et forme une branche kaolak. Kaolak est conçu pour gérer de nombre

• bisrulz Gratuit

  Un moteur de règles axé sur les métadonnées basé sur Java. Ce moteur vous permettra de configurer vos propres métadonnées spécifiques au domaine. Il fournit des fonctionnalités telles que des définitions de règles dynamiques,