stepchowfun

Languages

12 total

Language	Repos	Stars	Global	Country	Locality
all	26	3,932	13,151	2,205	402
Rust	5	2,834	465	63	7
Coq	2	291	21	7	1
Python	2	234	26,107	4,063	511
JavaScript	5	208	23,401	4,329	767
TypeScript	2	120	14,070	1,972	293
Haskell	1	99	971	193	19
C++	2	60	24,066	2,910	294
CSS	1	52	6,781	1,167	147
Shell	2	16	32,920	5,057	500
Ruby	2	12	24,681	6,479	953
unknown	1	6	210,906	23,100	2,170
C	1	0	-	-	-

Repos

26 total

Repo	Language	Stars	Rank
toast	Rust	1,543	811
docuum	Rust	560	2,011
typical	Rust	552	2,042
proofs	Coq	286	16
theorem-prover	Python	233	28,752
tagref	Rust	168	5,215
socket.js	JavaScript	143	37,303
hashpass	TypeScript	115	17,604
effects	Haskell	99	1,011
raytracer	CSS	52	7,143

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

Preview

Last updated: 2024-04-26T08:33:43.199205593Z Re-sync