나비에-스토크스 및 오일러 방정식의 유한 시간 폭발을 보여주는 수학적 증명의 Lean 4 형식화. 밀레니엄 문제를 다룹니다.

오픈‑소스 프레임워크로 알고리즘 암호화폐 트레이딩 봇을 구축하고 배포할 수 있습니다. CLI, Docker, 다수의 거래소 커넥터, 그리고 선택적인 LLM‑구동 의사결정 레이어(**Condor**)를 포함합니다.

커스텀 RTS 터치 컨트롤과 재구축된 스커미시 AI를 특징으로 하는 iOS 및 iPadOS용 Command & Conquer: Red Alert 2 및 Yuri's Revenge의 네이티브급 포팅 버전.

Texas Hold'em 및 Short Deck 포커의 최적 게임 전략을 계산하는 효율적인 C++ 솔버입니다.

Reckless는 CCC와 TCEC와 같은 주요 대회에서 상위 엔진에 속하는 고성능 오픈소스 경쟁용 체스 엔진입니다.

PlatEMO는 300개 이상의 알고리즘과 600개 이상의 벤치마크 문제를 제공하는 MATLAB 플랫폼으로, 사용자 친화적인 GUI와 병렬 실험 지원 기능을 갖추고 있습니다. 연구자가 최적화 방법을 쉽게 테스트하고 비교할 수 있도록 도와줍니다.

텐서 네트워크와 정확한 행렬 기반 시뮬레이션에 중점을 둔, 양자 정보 다체 계산을 위한 파이썬 라이브러리입니다.

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와 같은 생성 모델과 구조 예측 모델을 통합한 도구 및 인프라 프레임워크입니다.

다양한 계획기와 PDDL 형식을 지원하는, 계획기 종속적이지 않은 방식으로 자동 계획 문제를 모델링하고 해결할 수 있는 Python 라이브러리입니다.

다수의 인버터 브랜드를 지원하는 Home Assistant용 가정용 배터리 예측 및 자동 충전 시스템으로 에너지 저장을 최적화합니다.

암묵적 표현을 사용하여 복잡한 접힌 구조, 단층 네트워크, 불일치면을 구성하는 오픈소스 파이썬 라이브러리.

강화 학습과 전이 학습을 사용하여 사용자가 정의한 속성 프로필을 기반으로 최적화된 저분자를 생성하는 분자 설계 도구입니다.

단백질 및 단백질-리간드 복합체의 3D 구조를 기반으로 단백질 내 이온화 그룹의 pKa 값을 예측하는 도구입니다.

알파-베타 탐색과 비트보드 수 생성을 사용하여 강력한 AI 대전을 제공하는 오픈소스 상기(중국 장기) 엔진입니다.

장치에 독립적인 방식으로 양자 회로를 실행할 수 있는 오픈소스 풀스택 API입니다.

C++로 작성된 고성능 오픈소스 3D 게임 엔진으로, 고급 Vulkan 렌더링, 하드웨어 레이트레이싱, 그리고 MCP 서버를 통한 내장형 AI 통합을 특징으로 합니다.

NEURON은 개별 뉴런과 뉴런 네트워크 모델을 시뮬레이션하기 위한 시뮬레이터로, 생물학적 신경 시뮬레이션을 위한 연구용 환경을 제공합니다.

Handwrite는 사용자의 손글씨 샘플을 기반으로 사용자 맞춤형 폰트를 생성하는 도구로, 손글씨처럼 보이는 문서를 입력할 수 있게 해줍니다.

AutoDock Vina는 리간드가 단백질에 어떻게 결합하는지 예측하기 위해 사용되는 오픈소스 도킹 엔진입니다.

OpenMM은 분자 시뮬레이션을 위한 고성능 분자 운동학 라이브러리로, 연구자들에게 극도의 유연성과 GPU 최적화를 제공합니다.

고수준 기능 논리를 최적화된 양자 회로로 변환하는 엔드투엔드 플랫폼

단백질, 핵산, 리간드를 포함한 생체 분자 상호작용의 3차원 구조를 예측하기 위한 오픈소스 PyTorch 구현인 AlphaFold 3.

CPU와 GPU에서 고성능 입자 시뮬레이션을 지원하는 Python 패키지로, 하드 입자 몬테카를로 및 분자역학을 포함합니다.

Fast Downward는 과학적 연구를 위한 일반 목적 계획 작업을 해결하는 데 사용되는 영역 독립 고전 계획 시스템입니다.

Leap 클라우드 서비스를 통해 D-Wave 양자 컴퓨터를 사용하여 계산적으로 어려운 문제를 해결하는 도구 세트.

ZX-계산 다이어그램 추론 시스템을 사용하여 대규모 양자 회로의 생성, 시각화 및 자동 단순화를 수행하는 파이썬 도구입니다.

NISQ 시대 하드웨어에 최적화된, 양자 컴퓨터 및 시뮬레이터에서 양자 회로를 작성, 조작 및 실행하기 위한 Python 패키지입니다.

단백질 구조, 효소, 생물학적 고분자의 계산 분석 및 설계에 사용되는 생물분자 모델링 라이브러리입니다.

다양한 세대의 게임에서 싱글 전투를 수행하는 포켓몬 샤도우 전투 봇으로, 검색 엔진을 사용하여 최적의 수를 결정합니다.

CPU 기반 도구와 비교해 극대화된 속도 향상을 제공하는 GPU 가속 분자 도킹 프로그램으로, 초대규모 가상 스크리닝을 가능하게 합니다.

NetLogo는 복잡한 시스템과 자기 조직적 행동을 연구하기 위한 프로그래머블 모델링 환경입니다.

자율 에이전트 설계, 스테어링, 내비게이션, 퍼지 논리를 제공하는 자바스크립트 라이브러리.

AlphaFold, ProteinMPNN, Rfdiffusion 등의 도구를 통합한 Google Colab 노트북 모음입니다.

연구, 교육, 양자 소프트웨어 개발을 위한 확장 가능한 Julia 프레임워크입니다.

자기 대전과 강화학습을 통해 AI가 바둑을 학습할 수 있는 Python 및 TensorFlow 기반의 AlphaGo Zero 구현.

표면 코드와 래티스 수술 기반의 대규모 내결함성 양자 계산을 표현하고 컴파일하기 위한 설계 자동화 도구입니다.

다양한 양자 컴퓨팅 아키텍처에 맞춰 양자 회로를 최적화하는 고성능 양자 컴파일러입니다.

고성능과 낮은 종속성으로 임의의 양자 프로세스를 시뮬레이션할 수 있는 현대적인 C++ 일반 목적 양자 컴퓨팅 라이브러리.

양자 컴퓨팅 알고리즘을 사용하여 분자의 전자 구조 및 격자 모델과 같은 양자역학적 자연과학 문제를 해결하는 오픈소스 프레임워크입니다.

양자 컴퓨터에서 페르미온계와 양자 화학을 시뮬레이션하기 위해 양자 알고리즘을 컴파일하고 분석하는 Python 패키지.

검색, 히ュ리스틱, 가치 반복을 사용하여 고수준의 NES Tetris를 플레이하는 AI로, 에뮬레이터와 실제 하드웨어 모두를 위한 클라이언트를 제공합니다.

JAX를 통한 GPU 가속과 MPI를 통한 분산 계산을 지원하는 순수 Python으로 작성된 고성능 해양 시뮬레이터로, 장난감 모델부터 전 세계 해양까지 모델링이 가능합니다.