ai-for-science
10 proyectos comparten este topic de GitHub
Las líneas conectan a los miembros que están mediblemente relacionados entre sí. El tamaño de los puntos refleja las estrellas.
🧬 Miembros
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 ↗
🔗 Familias relacionadas
Medido a partir de los temas de GitHub compartidos por ambos proyectos, ponderado por cuán raros son cada uno de los temas.