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
Rocq-zh/SF-zh avatar

Rocq-zh/SF-zh

GitHub

《软件基础》中文版

HTML971 stars73 forks
chinese-translationcoqtranslation

Momentum

Rocq-zh/SF-zh has 971 GitHub stars.

It currently ranks #16388 daily, #17282 weekly, #20296 monthly by momentum on Trending Repos; its best-ever rank is #5468.

Rankings

PeriodRankScore
Daily
#163880.0
Weekly
#172820.0
Monthly
#202960.0
How scoring works

Engagement

Total stars
Daily new stars

Similar trending repositories

  • wquguru/cicada知了 Cicada · 任何会议和直播的实时字幕、同声传译、AI 会议纪要,Mac、Windows、Linux、Android 免费开源。Live subtitles, interpreting and meeting notes for any call or stream, on Mac, Windows, Linux and Android.Swift2,146 stars#217 this week
  • KytyPS5/KytyPS5PlayStation 5 translation layer for Windows, Linux and macOSC++10,980 stars#432 this week
  • PDFMathTranslate/PDFMathTranslate[EMNLP 2025 Demo] PDF scientific paper translation with preserved formats - 基于 AI 完整保留排版的 PDF 文档全文双语翻译,支持 Google/DeepL/Ollama/OpenAI 等服务,提供 CLI/GUI/MCP/Docker/ZoteroPython38,362 stars#788 this week
  • chenxiachan/textfoldFold papers, web pages, files, and AI replies into five levels of detail. Zoom from an overview to the original text.Python976 stars#912 this week
  • TeamNewPipe/NewPipeA libre lightweight streaming front-end for Android.Java40,571 stars#948 this week
  • fishjar/kiss-translatorA simple, open source bilingual translation extension & Greasemonkey script (一个简约、开源的 双语对照翻译扩展 & 油猴脚本)JavaScript13,283 stars#1045 this week

Embeds

Best rank #5468
Rocq-zh/SF-zh badge
Markdown