PaperSpine5 は、AIコーディングエージェント（Claude、Codex、OpenClaw）を、根拠に基づいた学術的調査・執筆補助者に変えるローカルファーストのスキルです。引用チェック、参照リスト管理、LaTeX/Wordの検証、執筆根拠の記録といったツールをバンドルし、Windows/macOS/Linux用のインストーラーと、設定およびプレビュー用のWeb UIを提供しています。

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

互換性レイヤーと WebGPU を使用し、複数のプラットフォームで高解像度グラフィックス、カスタムテクスチャ、低レイテンシの入力を提供する『大乱闘スマッシュブラザーズ MELEE』のネイティブPC移植版。

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

Linux 向けの視覚的音楽プレーヤーで、レコード、CD、カセットテープなどの物理メディアをシミュレートし、複数の音楽ソースで没入感のある再生体験を提供します。

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

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

ComfyUI用のLoRA管理プラグイン。CivitAIから直接ダウンロードし、ワークフローにワンクリックで統合。モデルの整理、プレビュー、トリガー語の管理、レシピ保存、チェックポイント管理、動的ファイル名パターンなどをサポート。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

NeuralGCMは、気象および気候シミュレーションのためのハイブリッド機械学習と物理ベースの大気モデルを構築するためのPythonライブラリです。

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

Brain Modeling Toolkit (BMTK) は、複数の解像度レベルにわたって大規模な脳ネットワークを構築、シミュレーション、および分析するためのオープンソースのソフトウェアスイートです。

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

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

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

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

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

発話障害を持つ人々が記号と音声合成を使ってコミュニケーションできる補助的・代替的コミュニケーション（AAC）Webアプリです。

HMMERは、プロファイル隠れマルコフモデルを使用して、データベース内の相同配列を検索する生物学的配列解析ツールです。

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

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

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

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

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

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