Trending repositories

Ranked by Attention Score: stars gained over the last 30 complete days

Period

Sort order

Tag: Programming languages and compilers

Tag

Search Tags

All Tags
Top-level Tags
AI agents
Audio and video
Automation, bots, and scraping
Backend and APIs
Blockchain
Cloud and DevOps
CMS and websites
Command line
Data pipelines and messaging
Data science
Databases
Design, fonts, and icons
Desktop apps
Developer tools
Finance and trading
Frontend and UI
Games
Graphics and 3D
Hardware and IoT
Lists and learning
LLM tools
Machine learning
Maps and geospatial
Mobile
Monitoring and observability
Neovim and editors
Networking
Operating systems and systems
Productivity and documents
Programming languages and compilers
Science and math
Security
Self-hosted
Testing
Finer Tags
2D graphics libraryGraphics and 3D
3D modeling toolGraphics and 3D
3D printingHardware and IoT
3D rendering libraryGraphics and 3D
AccountingFinance and trading
Ad blockerNetworking
Admin dashboard templateFrontend and UI
Agent frameworkAI agents
Agent memoryAI agents
Agent sandboxAI agents
Agent skillAI agents
AI code assistantLLM tools
AlertingMonitoring and observability
Algorithms collectionLists and learning
Analytical databaseDatabases
Android appMobile
Android libraryMobile
Android moddingOperating systems and systems
Android UI componentMobile
Angular libraryFrontend and UI
Animation libraryFrontend and UI
API client appDeveloper tools
API gatewayBackend and APIs
API testingTesting
App launcherDesktop apps
Application performance monitoringMonitoring and observability
Arduino libraryHardware and IoT
Audio libraryAudio and video
Authentication librarySecurity
Authorization librarySecurity
AutoMLMachine learning
Awesome listLists and learning
AWS toolCloud and DevOps
Backend as a serviceBackend and APIs
BacktestingFinance and trading
Backup toolSelf-hosted
BDD testingTesting
BenchmarkingTesting
BioinformaticsScience and math
BitcoinBlockchain
BitTorrentNetworking
Blazor libraryFrontend and UI
Blockchain nodeBlockchain
Blogging platformCMS and websites
BookLists and learning
Bookmark managerProductivity and documents
Browser agentAI agents
Browser automationAutomation, bots, and scraping
Browser extensionProductivity and documents
Build systemDeveloper tools
Build your ownLists and learning
Bundler pluginFrontend and UI
Business intelligenceData science
CacheDatabases
CalendarProductivity and documents
CAPTCHA solverAutomation, bots, and scraping
Career guideLists and learning
Censorship circumventionNetworking
Change data captureData pipelines and messaging
Chart libraryData science
Chat botAutomation, bots, and scraping
Cheat sheetLists and learning
CI/CDCloud and DevOps
Classical machine learning libraryMachine learning
CLI frameworkCommand line
Code coverageTesting
Code examplesLists and learning
Code formatterDeveloper tools
Code review toolDeveloper tools
Code searchDeveloper tools
Coding agentAI agents
Coding agent managerAI agents
Coding agent pluginAI agents
Coding challenge solutionsLists and learning
Color themeDesign, fonts, and icons
Color toolDesign, fonts, and icons
ComfyUI extensionMachine learning
CompilerProgramming languages and compilers
Computational chemistryScience and math
Computational geometryScience and math
Computer vision libraryMachine learning
Concurrency libraryProgramming languages and compilers
Configuration managementCloud and DevOps
Container image toolCloud and DevOps
Container runtimeCloud and DevOps
Content management systemCMS and websites
CourseLists and learning
Creative codingGraphics and 3D
Cron schedulerBackend and APIs
Cross-platform mobile frameworkMobile
Cryptography librarySecurity
CSS frameworkFrontend and UI
CTFSecurity
Data app frameworkData science
Data labelingMachine learning
Data orchestrationData pipelines and messaging
Data qualityData pipelines and messaging
Database backupDatabases
Database clientDatabases
Database driverDatabases
Database migrationDatabases
Dataframe libraryData science
DebuggerDeveloper tools
Deep learning frameworkMachine learning
Deep research agentAI agents
Dependency managementDeveloper tools
Design patternsLists and learning
Design resourceDesign, fonts, and icons
Desktop app frameworkDesktop apps
Device driverOperating systems and systems
Device firmwareHardware and IoT
Diagramming toolProductivity and documents
Digital forensicsSecurity
Discord botAutomation, bots, and scraping
Distributed computingData pipelines and messaging
Distributed trainingMachine learning
DNSNetworking
Document databaseDatabases
Document parsing for LLMsLLM tools
Documentation generatorDeveloper tools
Documentation site generatorCMS and websites
DotfilesCommand line
Download managerNetworking
Drawing appGraphics and 3D
Durable executionBackend and APIs
E-book toolProductivity and documents
E-commerce platformCMS and websites
eBPF toolOperating systems and systems
Editor color schemeNeovim and editors
Electronics designHardware and IoT
Emacs packageNeovim and editors
Embedded databaseDatabases
EmbeddingsLLM tools
EmojiDesign, fonts, and icons
EmulatorGames
Encryption toolSecurity
End-to-end testingTesting
ERPFinance and trading
ESP32Hardware and IoT
Ethereum and EVMBlockchain
ETLData pipelines and messaging
Event sourcingBackend and APIs
Event streamingData pipelines and messaging
Experiment trackingMachine learning
Exploit proof of conceptSecurity
Face recognitionMachine learning
Fake data generatorTesting
Feature flagBackend and APIs
File managerCommand line
File syncSelf-hosted
File systemOperating systems and systems
File transferNetworking
FirewallNetworking
Flutter packageMobile
FontDesign, fonts, and icons
Form libraryFrontend and UI
Free resources listLists and learning
Frontend frameworkFrontend and UI
Frontend meta-frameworkFrontend and UI
Frontend routerFrontend and UI
Functional programming libraryProgramming languages and compilers
FuzzingTesting
Fuzzy finderCommand line
Game development toolGames
Game engineGames
Game frameworkGames
Game launcherGames
Game modGames
Game source portGames
GISMaps and geospatial
Git clientDeveloper tools
Git extensionDeveloper tools
GitHub ActionCloud and DevOps
GitHub botAutomation, bots, and scraping
Godot addonGames
GPU computeGraphics and 3D
Graph databaseDatabases
Graphics API wrapperGraphics and 3D
GraphQL serverBackend and APIs
GUI toolkitDesktop apps
Home Assistant integrationSelf-hosted
Home automationSelf-hosted
Homelab dashboardSelf-hosted
HoneypotSecurity
HTTP clientBackend and APIs
HTTP serverBackend and APIs
Icon setDesign, fonts, and icons
IDENeovim and editors
Identity providerSecurity
Image editorGraphics and 3D
Image generationMachine learning
Image generation UIGraphics and 3D
Image processing libraryGraphics and 3D
Image segmentationMachine learning
Infrastructure as codeCloud and DevOps
Infrastructure monitoringMonitoring and observability
Instrumentation libraryMonitoring and observability
Internationalization libraryFrontend and UI
InterpreterProgramming languages and compilers
Interview preparationLists and learning
Intrusion detectionSecurity
Invoicing and billingFinance and trading
iOS appMobile
iOS libraryMobile
JavaScript runtimeProgramming languages and compilers
Jetpack Compose libraryMobile
Job queueBackend and APIs
jQuery pluginFrontend and UI
JSON processorCommand line
Kernel moduleOperating systems and systems
Key-value storeDatabases
Kubernetes distributionCloud and DevOps
Kubernetes operatorCloud and DevOps
Kubernetes toolCloud and DevOps
Language bindingsProgramming languages and compilers
Language serverDeveloper tools
LaTeX toolProductivity and documents
Linear algebraScience and math
LinterDeveloper tools
Linux desktop appDesktop apps
Linux distributionOperating systems and systems
Live streaming serverAudio and video
LLM chat interfaceLLM tools
LLM evaluationLLM tools
LLM fine-tuningLLM tools
LLM gatewayLLM tools
LLM inference serverLLM tools
LLM observabilityLLM tools
LLM SDKLLM tools
Load balancerNetworking
Load testingTesting
Local LLM runnerLLM tools
Log viewerMonitoring and observability
Logging libraryMonitoring and observability
Machine learning datasetMachine learning
macOS appDesktop apps
Mail serverSelf-hosted
Malware analysisSecurity
Map appMaps and geospatial
Map libraryMaps and geospatial
Markdown editorProductivity and documents
Markdown parserProductivity and documents
Market dataFinance and trading
MCP frameworkAI agents
MCP serverAI agents
Media automationSelf-hosted
Media serverSelf-hosted
Menu bar appDesktop apps
Message brokerData pipelines and messaging
Microservice frameworkBackend and APIs
MinecraftGames
Mobile OS modificationMobile
MockingTesting
Model quantizationMachine learning
MQTTHardware and IoT
Multi-agent orchestrationAI agents
Multiplayer game networkingGames
Music playerAudio and video
Music productionAudio and video
Neovim configurationNeovim and editors
Neovim pluginNeovim and editors
Network scannerNetworking
NixOperating systems and systems
NLP libraryMachine learning
Note-taking appProductivity and documents
NotebookData science
Notification serviceBackend and APIs
Numerical computingScience and math
Object detectionMachine learning
Object storageCloud and DevOps
Observability platformMonitoring and observability
OCRMachine learning
Office document libraryProductivity and documents
Office suiteProductivity and documents
On-device inferenceMachine learning
OpenAPI toolBackend and APIs
OpenStreetMapMaps and geospatial
Operating systemOperating systems and systems
Optimization solverScience and math
ORMDatabases
OSINTSecurity
Package managerDeveloper tools
Packet analyzerNetworking
Paper implementationMachine learning
Parser generatorProgramming languages and compilers
Parser libraryProgramming languages and compilers
Password managerSecurity
Payment processingFinance and trading
PDF libraryProductivity and documents
PDF toolProductivity and documents
Peer-to-peerNetworking
Penetration testingSecurity
Personal AI assistantAI agents
Personal financeFinance and trading
Photo managerGraphics and 3D
Physics engineGames
Physics simulationScience and math
Platform as a serviceCloud and DevOps
Playable gameGames
PostgreSQL extensionDatabases
PowerShell moduleCommand line
Presentation toolProductivity and documents
Product analyticsData science
ProfilerDeveloper tools
Programming exercisesLists and learning
Programming languageProgramming languages and compilers
Project management toolProductivity and documents
Prompt collectionLLM tools
Prompt toolingLLM tools
Quantitative financeFinance and trading
Query builderDatabases
RAG frameworkLLM tools
Raspberry PiHardware and IoT
React componentFrontend and UI
React Native libraryMobile
Real-time communicationAudio and video
Recommender systemMachine learning
Reinforcement learningMachine learning
Relational databaseDatabases
Remote desktopNetworking
Reverse engineeringSecurity
Reverse proxyNetworking
Rich text editorFrontend and UI
RoadmapLists and learning
RoboticsHardware and IoT
ROS packageHardware and IoT
RPA and desktop automationAutomation, bots, and scraping
RPC frameworkBackend and APIs
RSS readerProductivity and documents
Screen recorderAudio and video
Screenshot toolDesktop apps
Search engineDatabases
Secrets managementSecurity
Secrets scannerSecurity
Self-hosting platformSelf-hosted
Serialization libraryBackend and APIs
ServerlessCloud and DevOps
ShaderGraphics and 3D
ShellCommand line
Shell pluginCommand line
Shell promptCommand line
Slack botAutomation, bots, and scraping
Social media botAutomation, bots, and scraping
Speech recognitionMachine learning
SSH toolNetworking
State managementFrontend and UI
Static analysisDeveloper tools
Static site generatorCMS and websites
Static site themeCMS and websites
Statistics libraryData science
Stream processingData pipelines and messaging
Structured outputLLM tools
Study notesLists and learning
Style guideLists and learning
Svelte libraryFrontend and UI
SVG toolGraphics and 3D
SwiftUI componentMobile
Sync engineDatabases
Syntax highlighterNeovim and editors
System designLists and learning
System monitorOperating systems and systems
System tweakerOperating systems and systems
Telegram botAutomation, bots, and scraping
Telemetry collectorMonitoring and observability
Terminal emulatorCommand line
Terminal multiplexerCommand line
Terminal output libraryCommand line
Test frameworkTesting
Text editorNeovim and editors
Text to speechMachine learning
Threat intelligenceSecurity
Time series analysisData science
Time-series databaseDatabases
TLS certificate toolSecurity
To-do appProductivity and documents
Trading botFinance and trading
TranspilerProgramming languages and compilers
TUI frameworkCommand line
TunnelNetworking
TutorialLists and learning
Type checkerProgramming languages and compilers
UI component libraryFrontend and UI
UIKit componentMobile
Unity packageGames
Uptime monitorMonitoring and observability
UserscriptProductivity and documents
Validation libraryBackend and APIs
Vector databaseDatabases
Version managerDeveloper tools
Video downloaderAudio and video
Video editingAudio and video
Video generationMachine learning
Video libraryAudio and video
Video playerAudio and video
Vim pluginNeovim and editors
VirtualizationOperating systems and systems
VPNNetworking
VS Code extensionNeovim and editors
Vue libraryFrontend and UI
Vulnerability scannerSecurity
WallpaperDesign, fonts, and icons
Web browserDesktop apps
Web componentFrontend and UI
Web frameworkBackend and APIs
Web scraperAutomation, bots, and scraping
Web3 client libraryBlockchain
WebAssembly runtimeProgramming languages and compilers
WebAssembly toolchainProgramming languages and compilers
WebSocket libraryBackend and APIs
WeChat botAutomation, bots, and scraping
Wiki softwareCMS and websites
Window managerOperating systems and systems
Windows appDesktop apps
Workflow automationAutomation, bots, and scraping
Workflow engineBackend and APIs
XAML UI libraryDesktop apps

No Tag matches.

Filters (1)

Apply

Filters

Primary language

License

Total stars

Last push

Created

Archived

Clear all filters

23 repositories by Attention Score · Oct 5, 2026 – Nov 3, 2026 (UTC)

Language: Rocq Prover
Tag: Programming languages and compilers
Clear all

1.jasmin-lang / jasmin

Language for high-assurance and high-speed cryptography

compiler
language
coq

Rocq Prover MIT389 total89 forks

+15 stars

from 374 · score 2.77

2.MetaRocq / metarocq

Metaprogramming, verified meta-theory and implementation of Rocq in Rocq

coq
metaprogramming
coq-formalization
rocq

Rocq Prover MIT568 total101 forks

+12 stars

from 556 · score 2.56

3.math-comp / math-comp

Mathematical Components

coq
ssreflect
mathcomp
coq-formalization
rocq
rocq-library
+2 more

Rocq Prover Other license709 total136 forks

+9 stars

from 700 · score 2.30

4.HoTT / Coq-HoTT

A Coq library for Homotopy Type Theory

type-theory
homotopy-type-theory
univalent-foundations

Rocq Prover Other license1.4K total205 forks

+5 stars

from 1,402 · score 1.79

5.UniMath / UniMath

This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.

coq
mathematics
unimath
coq-library
foundations
rocq
+1 more

Rocq Prover Other license1K total187 forks

+5 stars

from 1,017 · score 1.79

6.jwiegley / category-theory

An axiom-free formalization of category theory in Coq for personal study and practical work

category-theory
coq
monad
profunctor
comonads
monoid
+7 more

Rocq Prover BSD-3-CLAUSE819 total85 forks

+5 stars

from 814 · score 1.79

7.QuickChick / QuickChick

Randomized Property-Based Testing Plugin for Coq

testing
coq

Rocq Prover Other license297 total52 forks

+5 stars

from 292 · score 1.79

8.rocq-prover / vsrocq

Visual Studio Code extension for Rocq

coq
vscode
vscode-extension
editor
vscodium
rocq
+1 more

Rocq Prover MIT464 total116 forks

+4 stars

from 460 · score 1.61

9.CertiRocq / certirocq

A Verified Compiler for Gallina, Written in Gallina

coq
gallina
compiler
formal-verification
rocq-prover

Rocq Prover MIT183 total45 forks

+4 stars

from 179 · score 1.61

10.rocq-prover / equations

A function definition package for Rocq

coq
programming-language
dependent-types
rocq

Rocq Prover LGPL-2.1239 total58 forks

+3 stars

from 236 · score 1.39

11.rocq-community / fourcolor

Formal proof of the Four Color Theorem [maintainer=@ybertot]

coq
ssreflect
mathcomp
four-color-theorem
coq-ci

Rocq Prover Other license253 total28 forks

+2 stars

from 251 · score 1.10

12.math-comp / analysis

Mathematical Components compliant Analysis Library

rocq
analysis
coq
mathcomp
ssreflect

Rocq Prover Other license247 total76 forks

+2 stars

from 245 · score 1.10

13.WasmCert / WasmCert-Coq

A mechanisation of Wasm in Rocq

webassembly
wasm
coq
rocq-prover

Rocq Prover Other license128 total21 forks

+2 stars

from 126 · score 1.10

14.thery / coqprime

Prime numbers for Coq

coq
theorem-proving
elliptic-curves
prime-numbers
pocklington-certificate

Rocq Prover LGPL-2.145 total18 forks

+2 stars

from 43 · score 1.10

15.uds-psl / coq-library-undecidability

A library of mechanised undecidability proofs in the Coq proof assistant.

Rocq Prover MPL-2.0145 total39 forks

+1 stars

from 144 · score 0.69

16.rocq-community / coq-ext-lib

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]

coq
library
programming
coq-platform
coq-ci

Rocq Prover BSD-2-CLAUSE136 total54 forks

+1 stars

from 135 · score 0.69

17.rocq-community / corn

Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]

coq-library
real-number
coq
coq-ci
coq-platform

Rocq Prover GPL-2.0117 total46 forks

+1 stars

from 116 · score 0.69

18.SSProve / ssprove

A foundational framework for modular cryptographic proofs in Coq

cryptography
coq-library
coq-formalization
state-separating-proofs
formal-verification
modular-cryptographic-proofs

Rocq Prover MIT91 total21 forks

+1 stars

from 90 · score 0.69

19.impermeable / rocq-waterproof

The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.

Rocq Prover LGPL-3.053 total19 forks

+1 stars

from 52 · score 0.69

20.math-comp / finmap

Finite sets, finite maps, multisets and generic sets

coq
ssreflect
mathcomp
finite-sets

Rocq Prover No license51 total28 forks

+1 stars

from 50 · score 0.69

21.rocq-community / graph-theory

Graph Theory [maintainers=@chdoc,@damien-pous]

coq
graph-theory
mathcomp
docker-coq-action
mathcomp-ci

Rocq Prover No license46 total4 forks

+1 stars

from 45 · score 0.69

22.pi8027 / stablesort

Stable sort algorithms and their stability proofs in Rocq

mathcomp
ssreflect
sorting-algorithms
mergesort
insertion-sort
rocq
+3 more

Rocq Prover No license27 total4 forks

+1 stars

from 26 · score 0.69

23.CertiGraph / CertiGraph

A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.

coq
vst
compcert
graph-algorithms

Rocq Prover MIT21 total6 forks

+1 stars

from 20 · score 0.69

Order: Attention Score

Most net stars gained in the window first. The score only puts this gain on a log scale, so the order is the order of the gain.

How the ranking works

Ranked by stars gained in the window. The score is the natural log of one plus that gain, so a repository's rank is exactly its star gain's rank.

score = log1p(net stars gained in the trailing T complete UTC days)

A repository is ranked only when its Star History covers every day of the window and its latest Observation is not missing.

The longest window is 180 days. Star History from the Repository Host goes back at most 180 days before the first daily record that AwesomeRepos made for the repository. A longer window needs more of these daily records first. A repository younger than the window does not rank in it.

The filters select from the same eligible repositories. A repository matches the topics when it has any of them. Total stars is the count now. Last push and creation on the Repository Host count back from the start of today (UTC). The counts beside the languages, licenses, and topics include all ranked repositories in the window. A Tag holds the repositories that have it. See Tags.

Repositories enter the index from the starting dataset of the index, or by gaining stars faster than the published admission threshold, whatever their size. A repository stays in the index after it enters. Thus an archived repository can still rank.

Browse the Repository Index