jjaassoonn

Languages

5 total

Language	Repos	Stars	Global	Country	Locality
all	18	13	1,062,093	30,235	11,304
HTML	3	6	100,601	2,525	908
Lean	10	5	247	20	8
TeX	3	1	35,856	1,224	437
Python	1	1	1,165,957	23,621	8,625
Swift	1	0	-	-	-

Repos

18 total

Repo	Language	Stars	Rank
transcendental	HTML	6	89,794
flat	Lean	3	551
lean2md	Python	1	1,721,956
cc	Lean	1	1,024
twist	Lean	1	1,015
GAGA	TeX	1	31,900
ReMeeowthCore	Swift	0	-
jjaassoonn.github.io	HTML	0	-
quasicoherent	Lean	0	-
etale_sheafification	Lean	0	-

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

Preview

Last updated: 2024-04-18T13:16:22.933541129Z Re-sync