MetaCoq

global

Languages

2 total

Language	Repos	Stars	Global
all	3	354	109,132
Coq	2	352	18
HTML	1	2	384,003

Repos

3 total

Repo	Language	Stars	Rank
metacoq	Coq	350	15
metacoq.github.io	HTML	2	339,118
tutorials	Coq	2	1,216

Badges

Get your badge to use on GitHub or websites using the code below

Global

Displays global rankings for all languages plus top two languages by stars

<a href="https://stardev.io/developers/MetaCoq"><img alt="Check out MetaCoq's profile on stardev.io" src="https://stardev.io/developers/MetaCoq/badge/languages/global.svg" /></a>

Preview

Last updated: 2024-05-02T22:28:38.886779536Z Re-sync