Footer

Your go-to destination for discovering trending open-source projects and uncovering the insights that matter

Legal

  • Terms and conditions
  • Privacy policy

More

  • Pricing
  • Advertise
  • onedump
  • gosnakego
  • Contact us

Social

  • X (Twitter)
  • GitHub
Trendshift owl
What they build speaks louder than words
© 2026 Trendshift, created by Julian Li with ❤️
SignalAdvertise
Trendshift
SignalAdvertise
Sign in
Trendshift owl

Discover trends that matter

DailyWeeklyMonthlyYearly
Live mentionsTopics
RepositoriesDevelopers
InsightsStats
Bifrost
Bifrost

google-deepmind/cryptids

Some Cryptids and Lean proofs

Visit GitHub
Lean
65
7
2 contributors
Apache License 2.0
website
AchievementsView all →
FeaturedAdvertise to 180K+ monthly visitors
Bifrost

Fastest Enterprise AI Gateway for Routing, Governing, and Securing all your AI Traffic

Momentum

How fast google-deepmind/cryptids is gaining stars, and where it lands on Trendshift and GitHub Trending

Activity and trending

Stars, forks and merged pull requests each day or month, lined up with the repository's rank on Trendshift Trending

Oct 13 – Oct 27, 2026

Stars +36 in 15 days

0246
6

Forks +7 in 15 days

012
2

Merged PRs 10 in 15 days

0123
3

Trendshift Trendingwhere the repository ranked each day it made the top 25

Top 25 in Lean

66313319156
Oct 13Oct 15Oct 17Oct 19Oct 21Oct 23Oct 25Oct 27
The left and right arrow keys step from day to day; Home and End go to the first and the last

Stars, forks, merged pull requests and Trendshift Trending rank, by day
DayStars gainedForks gainedMerged PRsLean
Tue, Oct 13, 2026+0+20Not trending
Wed, Oct 14, 2026+4+21#6
Thu, Oct 15, 2026+4+00#6
Fri, Oct 16, 2026+6+02#3
Sat, Oct 17, 2026+4+00#13
Sun, Oct 18, 2026+0+10Not trending
Mon, Oct 19, 2026+4+03#3
Tue, Oct 20, 2026+2+11#19
Wed, Oct 21, 2026+3+10#15
Thu, Oct 22, 2026+4+02#6
Fri, Oct 23, 2026+1+01Not trending
Sat, Oct 24, 2026+1+00Not trending
Sun, Oct 25, 2026+2+00Not trending
Mon, Oct 26, 2026+1+00Not trending
Tue, Oct 27, 2026+0+00Not trending
Total+36+710
  • 1#1 on the list
  • 7Rank that day
  • Not trending

Mentions and achievements

Where people are talking about google-deepmind/cryptids, and every badge it has earned
    1. Oct 151 post

      • Certified State Reductions and Semantics of Conjecture-Checking Turing Machines

        Read full on Hacker News

        Hacker News

    2. Oct 141 post

      • GEMINI ARGON JUST BROKE 3 RECORDS FOR CONJECTURE CHECKING TURING MACHINES @GoogleDeepMind posted them this week. each machine halts only if the conjecture is false, so in theory knowing BB(104) would…

        Read full on X, posted by @arlotests

        @arlotests · x.com

    You might also like

    Repositories close to google-deepmind/cryptids
    FeaturedAdvertise to 180K+ monthly visitors
    Bifrost

    Fastest Enterprise AI Gateway for Routing, Governing, and Securing all your AI Traffic

    lean-dojo/LeanMillenniumPrizeProblems

    Lean

    Formalization of the Millennium Problems in Lean 4

    7120

    openai/ten-proofs

    Lean

    Lean certificates accompanying ten proofs in mathematics and theoretical computer science

    21630

    anthropics/formal-math

    Lean
    30869

    the-omega-institute/automath

    TeX

    LEAN4 AUTO YOUTUBE LIVING

    7211

    google-deepmind/formal-conjectures

    Lean

    A collection of formalized statements of conjectures in Lean.

    1.3k571

    facebookresearch/atlas-lean

    Lean

    ATLAS Autoformalized Textbook Library At Scale

    32343

    leanprover-community/lean-liquid

    Lean

    💧 Liquid Tensor Experiment

    25522

    anthropics/fermats-last-theorem

    Lean
    1.3k112

    openai/math

    Lean
    15.6k1.8k