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
seL4/microkit avatar

seL4/microkit

GitHub

Microkit - A simple operating system framework for the seL4 microkernel

Rust200 stars80 forks

Momentum

seL4/microkit has 200 GitHub stars. It gained 0 stars over 2 recorded days in the last 30 days (snapshots through Jul 30, 2026).

It currently ranks #24695 daily, #25312 weekly, #27493 monthly by momentum on Trending Repos; its best-ever rank is #2317.

Trending Repos first recorded it on May 18, 2026.

Rankings

PeriodRankScore
Daily
#246950.0
Weekly
#253120.0
Monthly
#274930.0
How scoring works

Engagement

Total stars
Daily new stars
Recent daily star gains
DateStars gainedTotal stars

Similar trending repositories

  • storytold/craft-anythingCraft Anything: understand how any software works, and craft your own.Rust27,167 stars#2 this week
  • vercel-labs/agent-desktopComputer use CLI for AI agentsRust21,631 stars#13 this week
  • anefzaoui/misterdownloadmanagermisterdownloadmanager: The ultimate open-source, clean-room download manager written from scratch in pure Rust for Windows, Mac, and LinuxRust6,003 stars#16 this week
  • pbakaus/impeccableThe design vocabulary for your coding agent. Steer with polish and bolder, review with critique and audit, catch AI slop before it ships.Rust107,799 stars#26 this week
  • anomalyco/runeRune: Native UI frameworkRust6,417 stars#31 this week
  • vercel-labs/agent-browserBrowser automation CLI for AI agentsRust49,464 stars#32 this week

Embeds

Best rank #2317
seL4/microkit badge
Markdown
Forks gained
Jul 10, 202601930
Jul 7, 20260193+1