andrejbauer

Languages

12 total

Language	Repos	Stars	Global	Country	Locality
all	42	2,665	15,489	8	4
OCaml	11	1,986	19	1	1
TeX	6	384	276	1	1
Verilog	1	91	225	2	2
Mathematica	1	44	131	2	1
Coq	2	43	96	1	1
Python	7	35	88,783	57	28
HTML	1	29	19,750	12	6
Agda	2	23	86	3	1
unknown	4	16	80,187	31	11
Java	5	9	97,833	64	38
Lean	1	3	253	2	1
Perl	1	2	12,222	8	3

Repos

42 total

Repo	Language	Stars	Rank
plzoo	OCaml	1,390	20
homotopy-type-theory-course	TeX	267	382
spartan-type-theory	OCaml	243	126
marshall	OCaml	113	272
Homotopy	Verilog	91	233
coop	OCaml	84	358
alg	OCaml	80	382
notes-on-realizability	TeX	58	1,414
what-is-algebraic-about-algebraic-effects	TeX	45	1,779
mathematics-and-computation	Mathematica	44	123

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

Preview

Last updated: 2023-12-07T14:47:48.262773056Z Re-sync