Gửi phần mềm
  1. Nhà
  2. Windows
  3. Khác
  4. Yet Another QuickCheck for Java
  5. Download

Yet Another QuickCheck for Java 0.0.1

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 5.0/5 - ‎1 ‎Phiếu

Về Yet Another QuickCheck for Java

Yaqc4j là một khuôn khổ thử nghiệm dựa trên đặc điểm kỹ thuật, dựa trên QuickCheck cho Haskell của John Hughes. Nó tạo ra dữ liệu thử nghiệm tự động thông qua người dùng xác định và được xây dựng trong máy phát điện. Dự án này được hỗ trợ bởi Universidad Nacional de Quilmes.

Các chương trình liên quan

  • ds-Lucas Miễn phí

    Dự án ds-Lucas là kịch bản PHP đơn giản mà separetes kịch bản PHP của bạn và các mẫu HTML. Bao gồm các chức năng để đầu ra nhiều dòng, xử lý với đầu ra tập tin bên ngoài, đầu ra đa thiết lập.

  • HInput Miễn phí

    HInput là một lớp trừu tượng đầu vào được thiết kế để tách mã trò chơi khỏi việc triển khai đầu vào. Hệ thống này là hoàn toàn dữ liệu hướng và có thể được sửa đổi và / hoặc cấu hình tại thời gian chạy.

  • P3: The Portable Unix Programming System Miễn phí

    PUPS / P3 tạo điều kiện cho sự phát triển của tính toán đa vật chủ đa quá trình bằng cách cung cấp các công cụ để mô phỏng các khuẩn lạc của các sinh vật tĩnh điện. Nó cho phép tính toán liên tục, bảo vệ tài nguyên homeostati

  • Brainiac Artificial Intelligence Miễn phí

    Brainiac, là C / C ++ Thư viện, Chương trình, Và Python, Và Lua Scripts Đối với mạng thần kinh và lập trình di truyền, Trong Một nỗ lực để tạo ra một & Keo-It-All-Together" Dự án, Phấn đấu Hướng tới trí tuệ nhân tạo

  • PeiAsm Miễn phí

    PeiAsm Multi-Processor Assembler / Giả lập cho x86 Windows. -Mã hóa bởi M. Keaton (Phương pháp Polyester)

  • Proton Voltage Control Miễn phí

    VUI LÒNG trước khi rời khỏi 1 sao xác minh rằng bạn đang chạy một hạt nhân được hỗ trợ trên Nexus S hoặc Nexus S 4G. Chúng tôi có sẵn để sửa lỗi thông qua liên kết "Truy cập trang web của nhà phát triển" bên dưới.Proton V

  • syncSQL Miễn phí

    syncSQL là một kịch bản CVS phía máy chủ perl, gửi thông tin cam kết đến cơ sở dữ liệu mySQL, vì vậy các cam kết có thể được xem, theo dõi và lọc xuyên suốt một trang web đơn giản hoặc bất kỳ máy khách mySQL nào.

  • GLipKit Miễn phí

    GLipKit (GL Image Processing Kit) là một tập hợp các thuật toán xử lý hình ảnh và thị giác máy tính được thực hiện trên phần cứng đồ họa 3D có thể lập trình hiện tại để thực hiện nhanh hơn. Trọng tâm chính hiện là âm thanh nổ

  • RoboCup MSL refbox Miễn phí

    RoboCup MSL Refbox được sử dụng để giúp trọng tài điều khiển một trò chơi bóng đá robot (được sử dụng bởi giải đấu RoboCup Midsize).

  • Dataflow processing parallelization-Cell Miễn phí

    Đây là một thư viện để song song tính toán dữ liệu dòng chảy trên bộ xử lý di động.