Yet Another QuickCheck for Java 0.0.1

관련 프로그램

• 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 무료

  이것은 셀 프로세서의 흐름 데이터 계산을 병렬화하기 위한 라이브러리입니다.