ナビエ・ストークス方程式とオイラー方程式の有限時間爆発を示す数学的証明の Lean 4 形式化。ミレニアム懸賞問題に対処。

オープンソースのフレームワークで、アルゴリズム暗号取引ボットの構築とデプロイを支援します。CLI、Docker、数多くの取引所コネクタ、そしてオプションの LLM 駆動意思決定レイヤー（Condor）を含みます。

iOSおよびiPadOS向けに、カスタムRTSタッチコントロールと再構築されたスキーム戦AIを搭載した、Command & Conquer: Red Alert 2およびYuri's Revengeのネイティブ感覚の移植版。

テキサスホールデムとショートデッキポーカーの最適なゲーム戦略を計算する、効率的な C++ ソルバーです。

Reckless は、CCC や TCEC などの主要大会でトップクラスにランクインする、高性能なオープンソース競争用チェスエンジンです。

PlatEMO は、300 以上のアルゴリズムと 600 以上のベンチマーク問題を備えた MATLAB プラットフォームで、使いやすい GUI と並列実験サポートを提供します。研究者が最適化手法を簡単にテスト・比較できるように支援します。

テンソルネットワークと正確な行列ベースのシミュレーションに焦点を当てた、量子情報多体計算向けのPythonライブラリ。

MatterGenは、特定の特性制約に基づいて結晶構造を生成できる、無機材料設計の生成型拡散モデルであり、微調整が可能である。

slides-grab は、AIエージェントの支援を受けてHTMLスライドを作成・編集するCLIツールです。視覚エディタ、PDF/PNG/PPTXへのエクスポート、デザインテンプレート、AIによる画像生成機能を備えています。ClaudeやCodexなどのコードエージェントと連携して使うことを想定しており、プレゼンテーションワークフローにおけるAIの実用的応用として設計されています。

Rustで書かれたクロスプラットフォームのターミナルチェスゲーム。ローカルプレイ、StockfishなどのUCIチェスエンジン、Lichessとの統合をサポート。

QPUs、GPU、CPU を単一のプログラマブルシステムに統合するハイブリッド量子古典コンピューティング向けプラットフォーム。

PennyLaneは、量子コンピューティング、量子機械学習、および量子化学のために設計されたオープンソースのソフトウェアプラットフォームであり、ユーザーがさまざまなハードウェアデバイス上で量子アルゴリズムを構築および実装できるようにします。

Leela Chess Zero (Lc0) のリアルタイム分析用 GUI で、エンジン評価と手の選択をグラフィカルに可視化します。

RFdiffusion3 や RosettaFold3 などの生成モデル、構造予測モデルを統合したツールとインフラストラクチャフレームワーク。

計画器に依存しない方法で自動計画問題をモデリングおよび解決するためのPythonライブラリ。さまざまな計画器とPDDL形式をサポートしています。

複数のインバーター製品をサポートするHome Assistant用の家庭用バッテリー予測および自動充電システムで、エネルギー貯蔵を最適化します。

暗黙的表現を用いて、複雑な折りたたみ構造、断層ネットワーク、不整合面を構築するオープンソースのPythonライブラリ。

強化学習と転移学習を用いて、ユーザーが定義した特性プロファイルに基づいて最適化された低分子を生成する分子設計ツール。

タンパク質およびタンパク質-リガンド複合体の3D構造に基づき、タンパク質内の可電離基のpKa値を予測するツール。

Alpha-Beta探索とビットボードによる手生成を用いた、強力なAI対戦を実現するオープンソースの象棋（中国将棋）エンジンです。

量子回路の実行を可能にする、デバイスに依存しないオープンソースのフルスタックAPI。

C++ で書かれた高性能なオープンソース 3D ゲームエンジン。高度な Vulkan レンダリング、ハードウェアレイトライティング、および MCP サーバーを介した組み込み AI 統合を備えています。

NEURONは個々のニューロンおよびニューロンネットワークのモデルをシミュレートするためのシミュレータであり、生物学的ニューロンシミュレーションに向けた研究用環境を提供します。

Handwrite は、ユーザーの手書きサンプルに基づいてカスタムフォントを生成するツールで、手書き風に見えるドキュメントを入力できるようにします。

AutoDock Vina は、リガンドがタンパク質に結合する様子を予測するために使用されるオープンソースのドッキングエンジンです。

OpenMM は、分子シミュレーション用の高性能分子動力学ライブラリであり、研究者に極めて柔軟性とGPU最適化を提供します。

高レベルな機能論理を最適化された量子回路に変換するエンドツーエンドのプラットフォーム

タンパク質、核酸、リガンドを含む生体分子相互作用の3次元構造を予測するためのオープンソースPyTorch実装であるAlphaFold 3。

CPU および GPU 上で高性能な粒子シミュレーションを実行できる Python パッケージ。ハード粒子モンテカルロおよび分子動力学をサポート。

Fast Downward は、科学的研究のための汎用計画タスクを解決するために使用される領域独立型古典計画システムです。

D-Waveの量子コンピュータをLeapクラウドサービス経由で利用して、計算的に難しい問題を解決するためのツールセット。

ZX計算図式推論システムを使用して、大規模量子回路の作成、可視化、自動簡略化を行うPythonツール。

量子コンピュータおよびシミュレータ上で量子回路を記述、操作、実行するための、NISQ時代のハードウェアに最適化されたPythonパッケージ。

タンパク質構造、酵素、生物学的高分子の計算解析および設計に使用されるバイオ分子モデリングライブラリ。

複数世代のゲームでシングルバトルを行う Pokémon Showdown 戦闘ボットで、検索エンジンを使用して最適な手を決定します。

CPU ベースのツールと比較して大幅な高速化を実現する GPU 加速分子ドッキングプログラムで、創薬における超大規模仮想スクリーニングを可能にします。

NetLogo は、複雑なシステムと自己組織的行動を研究するためのプログラマブルなモデリング環境です。

自律エージェント設計、ステアリング、ナビゲーション、ファジィ論理を提供するJavaScriptライブラリ。

AlphaFold、ProteinMPNN、Rfdiffusionなどのツールを統合したGoogle Colabノートブックのコレクション。

研究、教育、量子ソフトウェア開発に向けた、拡張可能なJuliaフレームワーク。

自己対戦と強化学習を通じて、AIが囲碁を学習できるPythonおよびTensorFlow実装のAlphaGo Zero。

表面コードとラティスソーに基づく大規模耐障害性量子計算の表現とコンパイルを行うための設計自動化ツール。

幅広い量子コンピューティングアーキテクチャ向けに量子回路を最適化する高パフォーマンスな量子コンパイラ。

高パフォーマンスで外部依存が少ない、任意の量子プロセスをシミュレートできる現代的なC++汎用量子コンピューティングライブラリ。

量子コンピューティングアルゴリズムを使用して、分子の電子構造や格子モデルなどの量子力学的自然科学問題を解決するオープンソースのフレームワークです。

量子コンピュータ上でフェルミオン系や量子化学をシミュレートするための量子アルゴリズムをコンパイル・分析するためのPythonパッケージ。

検索、ヒューリスティクス、価値反復を用いて高レベルの NES Tetris をプレイする AI。エミュレータと実機の両方に対応したクライアントを備えています。

JAXによるGPU加速とMPIによる分散計算をサポートする、純粋なPythonで書かれた高性能海洋シミュレータ。玩具モデルから全球海洋まで、あらゆる規模のモデルを扱える。