MakerRelay
+ Submit
← GitHub Trending

GitHub topic

ai-for-science GitHub repositories

Explore 6 tracked GitHub repositories tagged ai-for-science. Compare their recorded star activity and implementation languages, then follow related topics to find other projects.

Snapshot: 2026-10-28. The collection gained 19 stars since the previous daily snapshot.

Tracked repositories
6
Total stars
13,904
Stars gained · 7 days
+64
Stars gained · 30 days
+485

Compare star activity

Up to five projects on this page, ordered by daily star growth. Open a project for its description and recorded star history.

Swipe to compare all star periods →

Star activity for ai-for-science repositories on this page
RepositoryTotal starsToday7 days30 days
aipoch/open-science5.4K+16+0+259
mims-harvard/AutoScientists786+1+7+111
xuzhougeng/wisp-science1.1K+1+7+0
sahibzada-allahyar/Formal-Verification-RSI2.9K+1+5+5
ai4s-research/awesome-ai-for-science2.1K+0+39+56

Explore repositories

Showing 1–6 of 6 tracked repositories.

aipoch/open-science

The open-source AI research workbench for scientific research and agent workflows. Local-first, model-agnostic desktop app with extensible skills, MCP tools and connectors, Python/R execution and traceable artifacts for reproducible research on macOS, Windows and Linux.

sahibzada-allahyar/Formal-Verification-RSI

Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and software engineering.