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
bloomberg/crane avatar

bloomberg/crane

GitHub

A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.

C++165 stars10 forksLGPL-2.1
compilercoqcppdependent-typesextractionfunctional-programmingmemory-safetymodern-cppreadabilityrocqrocq-proverthread-safetytranspiler

Momentum

bloomberg/crane has 165 GitHub stars.

It currently ranks #37086 daily, #37283 weekly, #38361 monthly by momentum on Trending Repos; its best-ever rank is #31407.

Rankings

PeriodRankScore
Daily
#370860.0
Weekly
#372830.0
Monthly
#383610.0
How scoring works

Engagement

Total stars
Daily new stars

Similar trending repositories

  • morluto/reaReverse engineer anything with agents, from app behavior down to native binaries.TypeScript450,914 stars#1 this week
  • hypit-ai/hypitClone any viral video with AI agents. Not just a script, the whole workflow: swap the face, the words, the B-roll, ship 100 variants in one command, and get your 100M views.TypeScript29,236 stars#143 this week
  • practical-tutorials/project-based-learningCurated list of project-based tutorialsPython289,513 stars#381 this week
  • KytyPS5/KytyPS5PlayStation 5 translation layer for Windows, Linux and macOSC++10,980 stars#432 this week
  • rocketride-org/rocketride-serverHigh-performance AI pipeline engine with a C++ core and 50+ Python-extensible nodes. Build, debug, and scale LLM workflows with 13+ model providers, 8+ vector databases, and agent orchestration, all from your IDE. Includes VS Code extension, TypeScript/Python SDKs, and Docker deployment.Python20,065 stars#578 this week
  • Fincept-Corporation/FinceptTerminalFinceptTerminal is a modern finance application offering advanced market analytics, investment research, and economic data tools, designed for interactive exploration and data-driven decision-making in a user-friendly environment.C++33,673 stars#634 this week

Embeds

Best rank #31407
bloomberg/crane badge
Markdown