QuickChick

Languages

2 total

Language	Repos	Stars	Global	Country	Locality
all	4	284	127,346	4,669	174
Coq	2	248	27	1	1
Haskell	2	36	1,929	127	5

Repos

4 total

Repo	Language	Stars	Rank
QuickChick	Coq	237	21
Luck	Haskell	30	2,846
IFC	Coq	11	445
TestingNoninterference	Haskell	6	10,211

Badges

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

Global Country Locality

Global

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

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

Preview

Country

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

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

Preview

Locality

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

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

Preview

Last updated: 2024-04-14T13:19:52.249424934Z Re-sync