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は、ホメオスタティック生物のコロニーをエミュレートするツールを提供することにより、マルチプロセスマルチホスト計算の開発を容易にします。永続的な計算、ホメオスタティック リソース保護、および asychronous プロセス間通信を可能にします。

• Brainiac Artificial Intelligence 無料

  Brainiacは、C / C++ライブラリ、プログラム、Python、ニューラルネットワーキングと遺伝的プログラミングのためのLuaスクリプトであり、一般的な人工知能に向かって努力するA"Glue-It-All-together"プロジェクトを作成しようとしています。

• PeiAsm 無料

  x86 Windows 用の PeiAsm マルチプロセッサ アセンブラ/エミュレータ。-コード:M.キートン(ポリエステル法)

• Proton Voltage Control 無料

  1つ星を離れる前に、Nexus SまたはNexus S 4Gでサポートされているカーネルを実行していることを確認してください。バグ修正は、以下の「開発者のウェブサイトを訪問」リンクから入手できます。プロトン電圧制御はXDAフォーラムのジョナソン・グリッグによって作成され、私はコラボレーションパートナーとして来ました。プロトン電圧制御*のみ*はネツアルシーのカーネルでネクサスS 4GとネクサスSで動作します。他のカーネルが機能を追加した場合

• syncSQL 無料

  syncSQL は、コミット情報を mySQL データベースに送信する perl サーバー側の CVS スクリプトであるため、単純な Web ページまたは任意の mySQL クライアントを通じて、コミットを表示、追跡、フィルタリングできます。

• GLipKit 無料

  GLipKit (GL画像処理キット) は、より高速な実行のために、現在のプログラム可能な3Dグラフィックスハードウェア上で実行される画像処理とコンピュータビジョンアルゴリズムのコレクションです。現在の主な焦点は計算ステレオです。

• RoboCup MSL refbox 無料

  RoboCup MSL Refbox は、レフリーがロボットサッカーの試合を制御するのを助けるために使用されます (RoboCup中型リーグで使用されます).

• Dataflow processing parallelization-Cell 無料

  これは、Cell プロセッサ上でフロー データ計算を並列化するためのライブラリです。