Kha

Languages

16 total

Language	Repos	Stars	Global	Country	Locality
all	39	473	86,190	3,440	299
Lean	9	351	7	1	1
C#	2	57	15,763	616	42
Python	7	32	112,519	3,883	437
C++	1	11	77,709	3,284	333
TeX	2	8	8,245	499	50
Agda	1	4	320	12	2
JavaScript	1	2	788,623	17,550	1,310
C	1	2	187,159	5,254	412
Nix	5	2	3,330	257	23
Shell	3	1	244,891	9,310	727
CoffeeScript	1	1	12,462	563	41
Haskell	1	1	17,732	734	76
Java	1	1	786,485	15,506	1,311
CSS	1	0	-	-	-
unknown	2	0	-	-	-
Isabelle	1	0	-	-	-

Repos

39 total

Repo	Language	Stars	Rank
electrolysis	Lean	323	7
Bartizan	C#	56	19,105
nixprof	Python	27	163,490
nale	C++	11	96,612
do-supplement	Lean	10	226
macro-supplement	Lean	8	280
masters-thesis	TeX	7	9,969
HoTT-book-agda	Agda	4	558
semantics-lean	Lean	3	631
aoc-2021	Lean	3	581

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

Preview

Last updated: 2024-04-05T08:33:43.844021716Z Re-sync