achlipala

Languages

4 total

Language	Repos	Stars	Global	Country	Locality
all	6	663	65,872	10,082	121
Coq	1	639	12	4	1
UrWeb	2	20	3	2	1
Java	2	3	278,092	21,979	139
JavaScript	1	1	1,318,332	131,759	656

Repos

6 total

Repo	Language	Stars	Rank
frap	Coq	639	8
frapapp	UrWeb	17	4
upo_mit	UrWeb	3	15
L08-abstract-datatypes2	Java	2	585,469
L07-abstract-datatypes1	Java	1	1,517,274
testpg	JavaScript	1	3,230,695

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

Preview

Last updated: 2024-04-18T05:56:22.589261987Z Re-sync