ai-for-science

10 Projekte teilen dieses GitHub-Topic

Linien verbinden Mitglieder, die messbar miteinander verwandt sind. Die Punktgröße spiegelt die Sterne wider.

🧬 Mitglieder

open-science

The open-source AI research workbench for scientific research and agent workflows. Local-first,…

★ 5.4k

Formal-Verification-RSI

Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and…

★ 2.9k · GitHub ↗

open-science

Open Science Desktop — local-first, model-agnostic AI research workbench for macOS, Windows & Linux.…

★ 2.1k

ToolUniverse

Democratizing AI scientists with ToolUniverse

★ 1.7k

wisp-science

Open-source, local-first desktop AI research workbench for scientific computing with Python/R, MCP…

★ 996

AutoScientists

AutoScientists: Self-Organizing Agent Teams for Long-Running Scientific Experimentation

★ 786

OneResearchClaw

Any research. One Claw. 🦞 From any materials to research with fully autonomous & skill-driven researcher.

★ 443

Curie

❓Curie: Automated and Rigorous Scientific Experimentation with AI Agents

★ 370

targetdiff

The official implementation of 3D Equivariant Diffusion for Target-Aware Molecule Generation and Affinity…

★ 344

MoleCode

Molecode presents molecules as code and enables LLMs to operate and reason on chemistry directly.

★ 305 · GitHub ↗

Gemessen anhand der von beiden Projekten geteilten GitHub-Themen, gewichtet nach der Seltenheit jedes Themas.