Hantar Perisian
  1. Rumah
  2. Windows
  3. Lain
  4. Yet Another QuickCheck for Java
  5. Download

Yet Another QuickCheck for Java 0.0.1

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 5.0/5 - ‎1 ‎Undi

Tentang Yet Another QuickCheck for Java

Yaqc4j adalah rangka kerja ujian berasaskan spesifikasi, berdasarkan QuickCheck untuk Haskell oleh John Hughes. Ia mencipta data ujian secara automatik melalui penjana yang ditakrifkan pengguna dan terbina dalam. Projek ini disokong oleh Universidad Nacional de Quilmes.

Atur Cara Berkaitan

  • ds-Lucas Percuma

    Projek ds-Lucas adalah skrip PHP mudah yang memikat skrip PHP anda dan templat HTML. Termasuk fungsi kepada output berbilang baris, pengendalian dengan output fail luaran, output pelbagai tetapan.

  • HInput Percuma

    HInput adalah lapisan abstat input yang direka untuk menyahkod kod permainan dari pelaksanaan input. Sistem ini didorong sepenuhnya data dan boleh diubahsuai dan/atau dikonfigurasikan pada masa jalanan.

  • P3: The Portable Unix Programming System Percuma

    PUPS/P3 memudahkan pembangunan pengiraan pelbagai tuan rumah pelbagai proses dengan menyediakan alat untuk mencontohi koloni organisma homeostatic. Ia membenarkan pengiraan berterusan, perlindungan sumber homeostatic, dan kom

  • Brainiac Artificial Intelligence Percuma

    Brainiac, Adakah Perpustakaan C/C+++, Program, Dan Python, Dan Lua Skrip Untuk Rangkaian Neural dan Pengaturcaraan Genetik, Dalam Usaha Untuk Buatan A & Gam-It-All-Together" Projek, Berusaha Ke Arah Kecerdasan Bu

  • PeiAsm Percuma

    PeiAsm Multi-Processor Assembler / Emulator untuk x86 Windows. -Dikodkan oleh M. Keaton (Kaedah Poliester)

  • Proton Voltage Control Percuma

    SILA sebelum meninggalkan 1-bintang mengesahkan bahawa anda menjalankan isirong yang disokong pada Nexus S atau Nexus S 4G. Kami boleh didapati untuk pembaikan pepijat melalui pautan "Lawati Laman Web Pemaju" di bawah.Kaw

  • syncSQL Percuma

    syncSQL adalah skrip CVS sebelah pelayan perl, yang menghantar maklumat komited ke pangkalan data mySQL, jadi komited boleh dilihat, dijejaki dan ditapis melalui laman web yang mudah atau mana-mana pelanggan mySQL.

  • GLipKit Percuma

    GLipKit (Gl Image Processing Kit) adalah koleksi pemprosesan imej dan algoritma penglihatan komputer yang dilakukan pada perkakasan grafik 3D boleh diprodeksi semasa untuk pelaksanaan yang lebih cepat. Fokus utama kini adalah

  • RoboCup MSL refbox Percuma

    RoboCup MSL Refbox digunakan untuk membantu pengadil untuk mengawal permainan bola sepak robotik (digunakan oleh RoboCup Midsize league).

  • Dataflow processing parallelization-Cell Percuma

    Ini adalah perpustakaan untuk pengiraan data aliran sel.