WUBING2023/PaperSpine
PaperSpine5 は、AIコーディングエージェント(Claude、Codex、OpenClaw)を、根拠に基づいた学術的調査・執筆補助者に変えるローカルファーストのスキルです。引用チェック、参照リスト管理、LaTeX/Wordの検証、執筆根拠の記録といったツールをバンドルし、Windows/macOS/Linux用のインストーラーと、設定およびプレビュー用のWeb UIを提供しています。
openai/NavierStokesAndEuler
ナビエ・ストークス方程式とオイラー方程式の有限時間爆発を示す数学的証明の Lean 4 形式化。ミレニアム懸賞問題に対処。
999sian/melee-pc
互換性レイヤーと WebGPU を使用し、複数のプラットフォームで高解像度グラフィックス、カスタムテクスチャ、低レイテンシの入力を提供する『大乱闘スマッシュブラザーズ MELEE』のネイティブPC移植版。
hummingbot/hummingbot
オープンソースのフレームワークで、アルゴリズム暗号取引ボットの構築とデプロイを支援します。CLI、Docker、数多くの取引所コネクタ、そしてオプションの LLM 駆動意思決定レイヤー(Condor)を含みます。
yappologistic/Spun
Linux 向けの視覚的音楽プレーヤーで、レコード、CD、カセットテープなどの物理メディアをシミュレートし、複数の音楽ソースで没入感のある再生体験を提供します。
microsoft/mattergen
MatterGenは、特定の特性制約に基づいて結晶構造を生成できる、無機材料設計の生成型拡散モデルであり、微調整が可能である。
NVIDIA/cuda-quantum
QPUs、GPU、CPU を単一のプログラマブルシステムに統合するハイブリッド量子古典コンピューティング向けプラットフォーム。
willmiao/ComfyUI-Lora-Manager
ComfyUI用のLoRA管理プラグイン。CivitAIから直接ダウンロードし、ワークフローにワンクリックで統合。モデルの整理、プレビュー、トリガー語の管理、レシピ保存、チェックポイント管理、動的ファイル名パターンなどをサポート。
PennyLaneAI/pennylane
PennyLaneは、量子コンピューティング、量子機械学習、および量子化学のために設計されたオープンソースのソフトウェアプラットフォームであり、ユーザーがさまざまなハードウェアデバイス上で量子アルゴリズムを構築および実装できるようにします。
openmm/openmm
OpenMM は、分子シミュレーション用の高性能分子動力学ライブラリであり、研究者に極めて柔軟性とGPU最適化を提供します。
BIMK/PlatEMO
PlatEMO は、300 以上のアルゴリズムと 600 以上のベンチマーク問題を備えた MATLAB プラットフォームで、使いやすい GUI と並列実験サポートを提供します。研究者が最適化手法を簡単にテスト・比較できるように支援します。
codedeliveryservice/Reckless
Reckless は、CCC や TCEC などの主要大会でトップクラスにランクインする、高性能なオープンソース競争用チェスエンジンです。
RosettaCommons/foundry
RFdiffusion3 や RosettaFold3 などの生成モデル、構造予測モデルを統合したツールとインフラストラクチャフレームワーク。
tqec/tqec
表面コードとラティスソーに基づく大規模耐障害性量子計算の表現とコンパイルを行うための設計自動化ツール。
ccsb-scripps/AutoDock-Vina
AutoDock Vina は、リガンドがタンパク質に結合する様子を予測するために使用されるオープンソースのドッキングエンジンです。
bupticybee/TexasSolver
テキサスホールデムとショートデッキポーカーの最適なゲーム戦略を計算する、効率的な C++ ソルバーです。
thomas-mauran/chess-tui
Rustで書かれたクロスプラットフォームのターミナルチェスゲーム。ローカルプレイ、StockfishなどのUCIチェスエンジン、Lichessとの統合をサポート。
springfall2008/batpred
複数のインバーター製品をサポートするHome Assistant用の家庭用バッテリー予測および自動充電システムで、エネルギー貯蔵を最適化します。
rooklift/nibbler
Leela Chess Zero (Lc0) のリアルタイム分析用 GUI で、エンジン評価と手の選択をグラフィカルに可視化します。
NetLogo/NetLogo
NetLogo は、複雑なシステムと自己組織的行動を研究するためのプログラマブルなモデリング環境です。
apistol78/traktor
C++ で書かれた高性能なオープンソース 3D ゲームエンジン。高度な Vulkan レンダリング、ハードウェアレイトライティング、および MCP サーバーを介した組み込み AI 統合を備えています。
pmariglia/foul-play
複数世代のゲームでシングルバトルを行う Pokémon Showdown 戦闘ボットで、検索エンジンを使用して最適な手を決定します。
gempy-project/gempy
暗黙的表現を用いて、複雑な折りたたみ構造、断層ネットワーク、不整合面を構築するオープンソースのPythonライブラリ。
Mugen87/yuka
自律エージェント設計、ステアリング、ナビゲーション、ファジィ論理を提供するJavaScriptライブラリ。
sokrypton/ColabDesign
AlphaFold、ProteinMPNN、Rfdiffusionなどのツールを統合したGoogle Colabノートブックのコレクション。
QuantumBFS/Yao.jl
研究、教育、量子ソフトウェア開発に向けた、拡張可能なJuliaフレームワーク。
MolecularAI/REINVENT4
強化学習と転移学習を用いて、ユーザーが定義した特性プロファイルに基づいて最適化された低分子を生成する分子設計ツール。
NomaDamas/slides-grab
slides-grab は、AIエージェントの支援を受けてHTMLスライドを作成・編集するCLIツールです。視覚エディタ、PDF/PNG/PPTXへのエクスポート、デザインテンプレート、AIによる画像生成機能を備えています。ClaudeやCodexなどのコードエージェントと連携して使うことを想定しており、プレゼンテーションワークフローにおけるAIの実用的応用として設計されています。
ammaarreshi/RedAlert2-Mac-iOS-iPad
iOSおよびiPadOS向けに、カスタムRTSタッチコントロールと再構築されたスキーム戦AIを搭載した、Command & Conquer: Red Alert 2およびYuri's Revengeのネイティブ感覚の移植版。
quantumlib/OpenFermion
量子コンピュータ上でフェルミオン系や量子化学をシミュレートするための量子アルゴリズムをコンパイル・分析するためのPythonパッケージ。
quantumlib/Cirq
量子コンピュータおよびシミュレータ上で量子回路を記述、操作、実行するための、NISQ時代のハードウェアに最適化されたPythonパッケージ。
jensengroup/propka
タンパク質およびタンパク質-リガンド複合体の3D構造に基づき、タンパク質内の可電離基のpKa値を予測するツール。
neuralgcm/neuralgcm
NeuralGCMは、気象および気候シミュレーションのためのハイブリッド機械学習と物理ベースの大気モデルを構築するためのPythonライブラリです。
softwareQinc/qpp
高パフォーマンスで外部依存が少ない、任意の量子プロセスをシミュレートできる現代的なC++汎用量子コンピューティングライブラリ。
AllenInstitute/bmtk
Brain Modeling Toolkit (BMTK) は、複数の解像度レベルにわたって大規模な脳ネットワークを構築、シミュレーション、および分析するためのオープンソースのソフトウェアスイートです。
RosettaCommons/rosetta
タンパク質構造、酵素、生物学的高分子の計算解析および設計に使用されるバイオ分子モデリングライブラリ。
yashlamba/handwrite
Handwrite は、ユーザーの手書きサンプルに基づいてカスタムフォントを生成するツールで、手書き風に見えるドキュメントを入力できるようにします。
jcmgray/quimb
テンソルネットワークと正確な行列ベースのシミュレーションに焦点を当てた、量子情報多体計算向けのPythonライブラリ。
dwavesystems/dwave-ocean-sdk
D-Waveの量子コンピュータをLeapクラウドサービス経由で利用して、計算的に難しい問題を解決するためのツールセット。
kyegomez/Open-AF3
タンパク質、核酸、リガンドを含む生体分子相互作用の3次元構造を予測するためのオープンソースPyTorch実装であるAlphaFold 3。
cboard-org/cboard
発話障害を持つ人々が記号と音声合成を使ってコミュニケーションできる補助的・代替的コミュニケーション(AAC)Webアプリです。
EddyRivasLab/hmmer
HMMERは、プロファイル隠れマルコフモデルを使用して、データベース内の相同配列を検索する生物学的配列解析ツールです。
qiboteam/qibo
量子回路の実行を可能にする、デバイスに依存しないオープンソースのフルスタックAPI。
aiplan4eu/unified-planning
計画器に依存しない方法で自動計画問題をモデリングおよび解決するためのPythonライブラリ。さまざまな計画器とPDDL形式をサポートしています。
yhyu13/AlphaGOZero-python-tensorflow
自己対戦と強化学習を通じて、AIが囲碁を学習できるPythonおよびTensorFlow実装のAlphaGo Zero。
xqbase/eleeye
Alpha-Beta探索とビットボードによる手生成を用いた、強力なAI対戦を実現するオープンソースの象棋(中国将棋)エンジンです。
Quantinuum/tket
幅広い量子コンピューティングアーキテクチャ向けに量子回路を最適化する高パフォーマンスな量子コンパイラ。
dptech-corp/Uni-Dock
CPU ベースのツールと比較して大幅な高速化を実現する GPU 加速分子ドッキングプログラムで、創薬における超大規模仮想スクリーニングを可能にします。