andorp

Languages

9 total

Language	Repos	Stars	Global	Country	Locality
all	40	258	138,489	5,046	2,086
Idris	10	175	14	1	1
Haskell	16	70	1,246	81	39
Python	2	6	350,643	9,961	3,784
Coq	2	4	569	20	5
HTML	2	3	219,360	4,623	1,630
Dockerfile	1	0	-	-	-
unknown	3	0	-	-	-
Java	1	0	-	-	-
Agda	3	0	-	-	-

Repos

40 total

Repo	Language	Stars	Rank
order-taking	Idris	130	19
mini-grin	Haskell	40	2,265
IdrisExtSTGCodegen	Idris	23	101
TaPL	Idris	15	147
pearls	Haskell	8	8,209
bead	Haskell	7	9,194
py-contract	Python	6	508,450
ArchaIdr	HTML	3	185,466
oo-haskell	Haskell	2	26,686
cpdt	Coq	2	1,463

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/andorp"><img alt="Check out andorp's profile on stardev.io" src="https://stardev.io/developers/andorp/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/andorp"><img alt="Check out andorp's profile on stardev.io" src="https://stardev.io/developers/andorp/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/andorp"><img alt="Check out andorp's profile on stardev.io" src="https://stardev.io/developers/andorp/badge/languages/locality.svg" /></a>

Preview

Last updated: 2024-05-15T13:56:31.166312129Z Re-sync