Trending Repos
TrendingRisersNewestCollectionsTopicsCompare
RepositoriesDevelopers on GitHub (external site)LanguagesCollectionsBadges

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

AboutStatsSearchSubmit a repoDevelopersContactPrivacy
Back to trending
Copilot-Language/copilot avatar

Copilot-Language/copilot

GitHub

A stream-based runtime-verification framework for generating hard real-time C code.

Haskell840 stars82 forks
ccopilotembedded-systemshaskellrequirementsrequirements-engineeringruntime-assuranceruntime-monitoringruntime-monitoring-systemruntime-verificationrvstream

Momentum

Copilot-Language/copilot has 840 GitHub stars. It gained 0 stars over 1 recorded day in the last 30 days (snapshots through Nov 8, 2026).

It currently ranks #11302 daily, #12379 weekly, #10474 monthly by momentum on Trending Repos; its best-ever rank is #4995.

Trending Repos first recorded it on Oct 12, 2026.

Rankings

PeriodRankScore
Daily
#113020.0
Weekly
#123790.0
Monthly
#104740.0
How scoring works

Engagement

Total stars
Daily new stars
Recent daily star gains
DateStars gainedTotal starsForks gained
Oct 13, 202608350

Similar trending repositories

  • OpenMontageInc/OpenMontageWorld's first open-source, agentic video production system. 12 production pipelines, 100+ tools, 700+ agent skill and production-knowledge files. Turn your AI coding assistant into a full video production studio.Python79,507 stars#49 this week
  • nextlevelbuilder/ui-ux-pro-max-skillAn AI skill that provides design intelligence for building professional UI/UX across multiple platforms.Python147,947 stars#54 this week
  • github/spec-kit💫 Toolkit to help you get started with SDD or any other process!Python149,253 stars#64 this week
  • cheaper-inference/OmniRouteNever stop coding. Free MIT AI gateway: one endpoint, 375 providers (150+ free), 1,400+ models Kimi, Claude, GPT, Gemini, GLM, DeepSeek, MiniMax. Works with Claude Code, Codex, Cursor, OpenCode, Cline & Copilot. Quota-aware auto-fallback, RTK+Caveman compression saves 15-95% tokens, MCP/A2A, Desktop/PWA. Built by 900+ contributorsTypeScript86,373 stars#80 this week
  • yappologistic/CUINative UI components for C: about 150 of them, with spring motion and full keyboard support. Windows, macOS and Linux, no dependencies.C893 stars#231 this week
  • getpaseo/paseoOrchestrate multiple coding agents from desktop and mobileTypeScript23,772 stars#269 this week

Embeds

Best rank #4995
Copilot-Language/copilot badge
Markdown