jix

Languages

10 total

Language	Repos	Stars	Global	Country	Locality
all	37	359	106,809	4,295	48
Rust	16	294	2,990	144	2
Isabelle	1	40	14	3	1
Python	8	10	246,710	8,075	98
C++	2	8	96,592	3,913	21
C	1	6	84,411	2,990	27
Verilog	3	1	12,329	155	1
Dockerfile	1	0	-	-	-
Shell	1	0	-	-	-
TypeScript	1	0	-	-	-
unknown	3	0	-	-	-

Repos

37 total

Repo	Language	Stars	Rank
varisat	Rust	242	3,943
sortnetopt	Isabelle	40	15
partial_ref	Rust	14	28,516
starlit	Rust	10	34,917
permutation_group_experiments	Python	7	427,450
zwohash	Rust	7	43,521
neca	C++	7	132,236
flussab	Rust	7	43,234
kissat_extras	C	6	106,284
sortnetopt-gnp	Rust	5	54,915

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

Preview

Last updated: 2024-04-06T20:23:17.373020939Z Re-sync