liamoc

Languages

8 total

Language	Repos	Stars	Global	Country	Locality
all	37	859	56,899	689	12
Haskell	16	440	280	6	1
Agda	4	317	10	1	1
Rust	5	41	11,494	155	4
unknown	5	25	74,401	768	16
TeX	3	21	4,197	40	4
JavaScript	2	9	255,234	2,876	57
Emacs Lisp	1	4	5,065	70	5
Assembly	1	2	13,127	142	7

Repos

37 total

Repo	Language	Stars	Rank
learn-you-an-agda	Agda	311	9
holbert	Haskell	162	629
latex-formulae	Haskell	56	1,715
patches-vector	Haskell	55	1,744
dixi	Haskell	52	1,827
wizards	Haskell	42	2,226
hilbert	Haskell	30	2,947
desktop_games	Rust	20	25,442
dddp	TeX	14	5,939
agda-snippets	Haskell	11	6,447

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

Preview

Last updated: 2024-10-16T19:54:24.886512197Z Re-sync