magnatelee

Languages

5 total

Language	Repos	Stars	Global	Country	Locality
all	8	19	846,814	18,305	298
Haskell	3	16	3,080	84	1
Java	2	2	416,189	6,528	131
Rouge	1	1	15	1	1
C++	1	0	-	-	-
Shell	1	0	-	-	-

Repos

8 total

Repo	Language	Stars	Rank
implicitcalculus	Haskell	9	7,422
Lstar	Haskell	5	12,098
Bshouty	Haskell	2	26,261
ChimpChat	Java	1	1,541,182
Supervisor	Java	1	1,541,181
parallelizer-sc19-benchmarks	Rouge	1	14
MADNESS-Legion	C++	0	-
parallelizer-sc19-results	Shell	0	-

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

Preview

Last updated: 2024-04-24T08:39:00.851572687Z Re-sync