Yet Another QuickCheck for Java 0.0.1
5초 만에 다운로드할 수 있습니다.
다음 외부 다운로드 링크를 클릭하여 다운로드를 시작할 수도 있습니다.
http://sourceforge.net/projects/yaqc4j/files/0.0.1-Alpha2/yaqc4j-0.0.1-Alpha2-javadoc.jar/download
에 대해 Yet Another QuickCheck for Java
Yaqc4j는 존 휴즈에 의해 하스켈에 대한 빠른 검사를 기반으로 사양 기반 테스트 프레임 워크입니다. 사용자 정의 및 기본 제공 생성기를 통해 테스트 데이터를 자동으로 만듭니다. 이 프로젝트는 유니버시다드 나시오날 드 퀼메스에 의해 지원됩니다.
관련 프로그램
-
ds-Lucas 무료
프로젝트 ds-Lucas는 PHP 스크립트와 HTML 템플릿을 패세파테하는 간단한 PHP 스크립트입니다. 다중 선 출력에 함수를 포함, 외부 파일 출력처리, 다중 설정 출력.
-
HInput 무료
HInput은 입력 구현에서 게임 코드를 분리하도록 설계된 입력 추상화 계층입니다. 시스템은 완전히 데이터 중심이며 런타임에 수정 및/또는 구성할 수 있습니다.
-
P3: The Portable Unix Programming System 무료
PUPS/P3는 동종성 유기체의 식민지를 모방하는 도구를 제공함으로써 다중 공정 다중 숙주 계산의 개발을 용이하게 합니다. 지속적인 계산, 동종 자원 보호 및 연동 성 프로세스 간 통신을 허용합니다.
-
Brainiac Artificial Intelligence 무료
Brainiac, C / C + + 라이브러리, 프로그램, 파이썬, 신경 네트워킹 및 유전 프로그래밍을위한 루아 스크립트, A & 접착제 - 그것은 - 모든 - 투 - 함께 & 프로젝트를 만들기 위한 시도에서, 일반 인공 지능을 향해 노력
-
PeiAsm 무료
x86 윈도우용 페이아셈 멀티 프로세서 어셈블러/에뮬레이터. - M. 키튼에 의해 코딩 (폴리 에스테르 방법)
-
Proton Voltage Control 무료
1성급 을 떠나기 전에 넥서스 S 또는 넥서스 S 4G에서 지원되는 커널을 실행하고 있는지 확인하십시오. 아래의 "개발자 웹사이트 방문" 링크를 통해 버그 수정을 할 수 있습니다.양성자 전압 제어는 XDA 포럼의 조나톤 그리그에 의해 만들어졌고 나는 협력 파트너로 왔다. 양성자 전압 제어 *ONLY*는 넥서스 S 4G 및 넥서스 S용 네타키커와 함께 작동합니다. 다른 커널에 기능이 추가되면 수
-
syncSQL 무료
syncSQL은 perl 서버 측 CVS 스크립트로 커밋 정보를 mySQL 데이터베이스로 전송하므로 커밋을 간단한 웹 페이지 또는 mySQL 클라이언트를 통해 보고 추적 및 필터링할 수 있습니다.
-
GLipKit 무료
GLipKit(GL 이미지 프로세싱 키트)은 현재 프로그래밍 가능한 3D 그래픽 하드웨어에서 수행되는 이미지 프로세싱 및 컴퓨터 비전 알고리즘 모음으로 더 빠른 실행을 지원합니다. 주요 초점은 현재 계산 스테레오입니다.
-
RoboCup MSL refbox 무료
로보컵 MSL Refbox는 심판이 로봇 축구 경기를 제어하도록 돕는 데 사용됩니다(로보컵 중형 리그에서 사용함).
-
Dataflow processing parallelization-Cell 무료
이것은 셀 프로세서의 흐름 데이터 계산을 병렬화하기 위한 라이브러리입니다.