mtzguido

Languages

9 total

Language	Repos	Stars	Global	Country	Locality
all	19	25	702,014	86,441	4,239
F*	1	15	13	2	1
C	10	4	109,721	11,919	601
Haskell	1	4	6,653	1,186	52
TeX	2	2	23,590	3,177	150
OCaml	1	0	-	-	-
Dockerfile	1	0	-	-	-
Shell	1	0	-	-	-
Standard ML	1	0	-	-	-
SMT	1	0	-	-	-

Repos

19 total

Repo	Language	Stars	Rank
verificacion-con-fstar-2024	F*	15	16
cemetery	Haskell	4	14,091
snake86	C	2	276,410
ray-tracer	C	2	276,409
lcc.cls	TeX	2	23,793
epoll	C	0	-
tiger	Standard ML	0	-
ice	C	0	-
sysfs-finder	C	0	-
rubik	C	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/mtzguido"><img alt="Check out mtzguido's profile on stardev.io" src="https://stardev.io/developers/mtzguido/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/mtzguido"><img alt="Check out mtzguido's profile on stardev.io" src="https://stardev.io/developers/mtzguido/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/mtzguido"><img alt="Check out mtzguido's profile on stardev.io" src="https://stardev.io/developers/mtzguido/badge/languages/locality.svg" /></a>

Preview

Last updated: 2024-05-09T19:47:13.048786416Z Re-sync