The Checker Framework

Похожие программы

• ajaxWM Бесплатный

  ajaxWM - это тематический оконный менеджер на основе ajax-and-python, который предоставляет несколько гибких терминалов в веб-браузере для удобного дистанционного управления компьютером через сеть без установки какого-либо пр

• Twick.it API Wrapper Бесплатный

  Если вы хотите использовать Twick.it API, вы должны взглянуть на эту обертку. Просто вызывая некоторые статические методы, вы можете читать данные из API и не должны заботиться обо всех материалах REST, таких как отправка зап

• WURDE Бесплатный

  WURDE является средним звеном для разработки приложений робототехники. Он разработан, чтобы быть максимально простым в разработке и легко добавить поддержку альтернативных протоколов связи. Она включает в себя систему управле

• vTpl - Templating System Бесплатный

  vTpl является на лету шаблонной системы для динамических веб-сайтов. vTpl предназначен для разработчиков, которые хотят, чтобы их логика отображения от бизнес-логики без большой громоздкой системы шаблонирования. vTpl поддерж

• KML share Бесплатный

  kmlshare является Google Maps api на основе веб-сайта программного обеспечения. Пользователи могут загружать файлы kml на сайт, который анализируется и места хранятся в базе данных, что делает содержимое browsable и поиск. Пр

• PHersistence Бесплатный

  PHersistence является мощным объектом реляционной основы настойчивости, написанной для PHP. Предназначен для покрытия наиболее часто используемых бэкэндов баз данных от db2 до MyS'L и Progress. Целью PHersistence является вне

• Lamino Бесплатный

  Lamino является высокоуровневой конфигурацией metalanguage, которая повышает базовый IoC (Инверсия управления ака инъекции зависимости) с конфигурацией наслоения и инкапсулированных компонентов.

• PIES 3.14159... complement ECMAScript 3! Бесплатный

  PIES предоставляет механизм упаковки/импорта, который отсутствует в ES3 (ECMAScript Language Specification 3-е издание, стандарт для JavaScript, JScript). И со многими выбранными библиотеками, PIES будет дополнять ES3!

• Kaolak Community System Бесплатный

  Kaolak является веб-сообщество sytem работает на Apache с PHP4 и MySql. Сообщество определяется пользователями и документами и формирует филиал kaolak. Kaolak предназначен для прозрачного обработки многих ветвей друг от д

• bisrulz Бесплатный

  Движок правил, управляемый метаданными, основанный на Java. Этот движок позволит вам настроить свой собственный домен конкретных метаданных. Он предоставляет такие функции, как динамические определения правил, цепочка правил