Trending Repos
TrendingRisersNewestTopicsCollectionsCompare
TrendingRisersNewestTopicsCollectionsCompare
Trending Repos

Trending Repos tracks GitHub momentum from stars, forks, and rank history.

Explore

TrendingRisersNewestTopicsCollections

Tools

SearchCompareBadgesSubmit a repo

Project

AboutStatsDevelopersContactPrivacy
Back to trending
FloatingPragma/observer-patch-holography avatar

FloatingPragma/observer-patch-holography

GitHub

Observer Patch Holography is a mathematically explicit approach to reconstructing physics from observers. Its executable model connects local repair to quantum measurements, clocks, and smooth effective spacetime, bringing a unified account of physics within reach.

Python757 stars103 forks
formal-verificationfoundations-of-physicslean4mathematical-physicsobserver-patch-holographyquantum-foundationsreproducible-research

Momentum

FloatingPragma/observer-patch-holography has 757 GitHub stars. It gained +1 stars over 3 recorded days in the last 7 days and +2 over 16 recorded days in the last 30 days (snapshots through Nov 9, 2026).

Its biggest recent day was Oct 12, 2026, with +1 stars.

It currently ranks #38239 daily, #5923 weekly, #7490 monthly by momentum on Trending Repos; its best-ever rank is #175.

Trending Repos first recorded it on May 16, 2026.

Rankings

PeriodRankScore
Daily
#382390.0
Weekly
#59230.2
Monthly
#74900.2
How scoring works

Engagement

Total stars
Daily new stars

Similar trending repositories

  • h5i-dev/h5iAn Axum-based Rust web framework with Lean 4-verifiable application kernels that run on servers, bare-metal embedded devices, and GPUs, plus integrated security testing.Rust915 stars#2650 this week
  • Verified-zkEVM/VCVioA Lean library for machine-checked cryptographic proofs.Lean175 stars#4971 this week
  • leanprover/lean4Lean 4 programming language and theorem proverLean9,919 stars#1313 this week
  • brycewang-stanford/Auto-Empirical-Research-Skills🔬 A curated collection of 23,000+ agent skills for empirical research across 8 social science disciplines. | 精选 23,000+ AI Agent 技能库,覆盖8大社会科学学科的实证研究。CoPaper.AI 20分钟完成一篇可复现的规范实证论文,并支持用户上传 Skills。-- Maintained by CoPaper.AI from Stanford REAP.Stata4,962 stars#1537 this week
  • leanprover-community/mathlib4The math library of Lean 4Lean4,469 stars#1750 this week
  • AeneasVerif/charonAnalyze Rust crates without touching compiler internalsRust481 stars#4158 this week

Embeds

Best rank #175
FloatingPragma/observer-patch-holography badge
Markdown
Recent daily star gains
DateStars gainedTotal starsForks gained
Nov 9, 202607570
Nov 8, 2026+17570
Nov 7, 202607560
Nov 2, 202607560
Oct 26, 202607550
Oct 25, 202607550
Oct 24, 2026+17550
Oct 19, 202607530
Oct 18, 202607530
Oct 17, 202607530
Oct 16, 202607530
Oct 15, 2026-2753-1
Oct 14, 2026+17550
Oct 13, 202607540