ziman

global

Languages

18 total

Language	Repos	Stars	Global
all	64	722	61,453
Idris	11	365	8
Haskell	12	180	621
C	6	107	11,952
Python	11	53	79,200
MATLAB	1	4	24,685
C++	5	4	159,339
Perl	2	3	10,560
JavaScript	2	2	785,884
Verilog	1	1	12,300
Vim Script	2	1	27,789
CoffeeScript	1	1	11,985
Prolog	1	1	3,536
PureScript	2	0	-
Shell	1	0	-
R	1	0	-
CSS	1	0	-
unknown	3	0	-
TeX	1	0	-

Repos

64 total

Repo	Language	Stars	Rank
lightyear	Idris	238	9
idris-py	Haskell	124	828
rarcrack	C	101	14,276
pmtu	Python	36	134,075
itt-idris	Idris	23	103
idris-ocaml	Haskell	22	3,792
idris-data-frame	Idris	20	116
bibdris	Idris	18	130
ttstar	Idris	18	127
itt	Haskell	15	4,911

Badges

Get your badge to use on GitHub or websites using the code below

Global

Displays global rankings for all languages plus top two languages by stars

<a href="https://stardev.io/developers/ziman"><img alt="Check out ziman's profile on stardev.io" src="https://stardev.io/developers/ziman/badge/languages/global.svg" /></a>

Preview

Last updated: 2024-04-06T11:08:14.585977870Z Re-sync