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
dwrensha/compfiles avatar

dwrensha/compfiles

GitHub

Catalog Of Math Problems Formalized In Lean

Lean245 stars65 forksApache-2.0
lean4

Momentum

dwrensha/compfiles has 245 GitHub stars.

It currently ranks #27458 daily, #27972 weekly, #29893 monthly by momentum on Trending Repos; its best-ever rank is #4994.

Rankings

PeriodRankScore
Daily
#274580.0
Weekly
#279720.0
Monthly
#298930.0
How scoring works

Engagement

Total stars
Daily new stars

Similar trending repositories

  • leanprover/lean4Lean 4 programming language and theorem proverLean9,919 stars#1313 this week
  • leanprover-community/mathlib4The math library of Lean 4Lean4,469 stars#1750 this week
  • 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
  • openai/mathLean17,491 stars#844 this week
  • josevalim/lynxProofs for Erlang/Elixir programs through LEAN (via automatic translation of Core Erlang)Lean200 stars#2872 this week

Embeds

Best rank #4994
dwrensha/compfiles badge
Markdown