antalsz

Languages

5 total

Language	Repos	Stars	Global	Country	Locality
all	13	327	116,089	17,094	1,591
Coq	2	290	23	8	1
Haskell	7	25	2,389	468	63
TeX	2	7	9,044	1,300	114
unknown	1	5	247,518	26,193	2,111
TypeScript	1	0	-	-	-

Repos

13 total

Repo	Language	Stars	Rank
hs-to-coq	Coq	279	19
choose-your-own-derivative	Haskell	18	4,424
urn-random	Coq	11	458
draft	TeX	6	11,923
ocaml-algebraic-effects	unknown	5	257,711
tree-dye	Haskell	2	22,013
functional-shuffle	Haskell	2	21,265
quantum-halftoning	Haskell	1	38,093
text-set	Haskell	1	35,268
coqc-expand-errors	Haskell	1	34,415

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

Preview

Last updated: 2024-05-11T02:29:53.267367802Z Re-sync