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
Generative-Program-Analysis/GenSym avatar

Generative-Program-Analysis/GenSym

GitHub

A high-performance, parallel, compilation-based symbolic execution engine

Java148 stars8 forks
compilermetaprogrammingmulti-stage-programmingscalasymbolic-executionsymbolic-execution-engine

Momentum

Generative-Program-Analysis/GenSym has 148 GitHub stars.

It currently ranks #26672 daily, #27217 weekly, #29214 monthly by momentum on Trending Repos; its best-ever rank is #5170.

Rankings

PeriodRankScore
Daily
#266720.0
Weekly
#272170.0
Monthly
#292140.0
How scoring works

Engagement

Total stars
Daily new stars

Similar trending repositories

  • 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
  • typst/typstA markup-based typesetting system that is powerful and easy to learn.Rust57,123 stars#884 this week
  • oxc-project/oxc⚓ A collection of high-performance JavaScript tools.Rust23,412 stars#1276 this week
  • pingdotgg/ts-rustAn experimental Rust port of the TypeScript 7 compiler (tsc)Rust1,644 stars#1442 this week
  • apache/kafkaApache Kafka - A distributed event streaming platformJava34,206 stars#1687 this week
  • odin-lang/OdinOdin Programming LanguageOdin12,310 stars#1953 this week

Embeds

Best rank #5170
Generative-Program-Analysis/GenSym badge
Markdown