The Checker Framework
5초 만에 다운로드할 수 있습니다.
다음 외부 다운로드 링크를 클릭하여 다운로드를 시작할 수도 있습니다.
http://sourceforge.net/projects/thechecker/files/checker.tar.gz/download
에 대해 The Checker Framework
체커 프레임워크는 쉽게 창백한 체크/변환 세트로 체인 운영계층을 쉽게 저장/제작및 다시 활용할 수 있습니다(원하는 경우 런타임).
관련 프로그램
-
ajaxWM 무료
ajaxWM은 클라이언트 측에 소프트웨어를 설치하지 않고도 네트워크를 통해 컴퓨터를 편안하게 원격 제어할 수 있도록 웹 브라우저에서 여러 개의 유연한 단자를 제공하는 사용할 수 있는 아약스 및 파이썬 기반 창 관리자입니다.
-
Twick.it API Wrapper 무료
Twick.it API를 사용하려면 이 래퍼를 살펴봐야 합니다. 일부 정적 메서드를 호출하면 API에서 데이터를 읽을 수 있으며 HTTP 요청을 보내거나 XML 데이터를 구문 분석하는 것과 같은 모든 REST 에 대해 걱정할 필요가 없습니다.
-
WURDE 무료
WURDE는 로봇 응용 프로그램 개발을 위한 미들웨어입니다. 개발이 매우 간단하고 대체 통신 프로토콜에 대한 지원을 쉽게 추가할 수 있도록 설계되었습니다. 여기에는 모듈 관리 시스템이 포함됩니다.
-
vTpl - Templating System 무료
vTpl은 동적 웹 사이트를 위한 플라이 템플래팅 시스템입니다. vTpl은 큰 부피가 큰 templating 시스템없이 비즈니스 논리에서 멀리 자신의 디스플레이 논리를 얻을 하려는 개발자를위한 것입니다. vTpl은 로드 시간을 단축하는 스마트 캐시를 지원합니다.
-
KML share 무료
kmlshare는 구글지도 api 기반 웹 사이트 소프트웨어입니다. 사용자는 구문 분석되고 장소 표시가 데이터베이스에 저장되어 콘텐츠가 눈썹을 내세우고 검색할 수 있는 사이트에 kml 파일을 업로드할 수 있습니다. http://www.vansham.com/janaagraha/ 데모 보기
-
PHersistence 무료
PHersistence는 PHP를 위해 작성된 강력한 개체 관계형 지속성 프레임워크입니다. 가장 일반적으로 사용되는 데이터베이스 백엔드를 db2에서 MySQL 및 진행으로 커버하는 것을 목표로 합니다. PHersistence의 목표는 PHP 세계에 데이터베이스 지속성을 도입하는 것입니다.
-
Lamino 무료
Lamino은 구성 계층화 및 캡슐화 된 구성 요소와 기본 IoC (제어 일명 의존 성 주입의 반전)를 향상시키는 높은 수준의 구성 메타어입니다.
-
PIES 3.14159... complement ECMAScript 3! 무료
PIES는 ES3에 없는 패키지/가져오기 메커니즘을 제공합니다(ECMAScript 언어 사양 3판, 자바스크립트, JScript의 표준). 그리고 많은 선택 된 라이브러리와 함께, PIES는 ES3를 보완합니다!
-
Kaolak Community System 무료
Kaolak는 PHP4및 MySql을 갖춘 아파치에서 실행되는 웹 기반 커뮤니티 sytem입니다. 커뮤니티는 사용자와 문서에 의해 정의되며 카올라크 지점을 형성합니다. Kaolak는 서로 투명하게 많은 지점을 처리하도록 설계되었습니다.
-
bisrulz 무료
Java를 기반으로 하는 메타데이터 구동 규칙 엔진입니다. 이 엔진을 사용하면 고유한 도메인 특정 메타데이터를 구성할 수 있습니다. 동적 규칙 정의, 규칙 체인과 같은 기능을 제공하며 규칙을 정의하기가 매우 쉽습니다.