michaelballantyne

Languages

14 total

Language	Repos	Stars	Global	Country	Locality
all	67	287	129,920	18,952	155
Scheme	11	191	75	20	1
Racket	18	66	107	40	3
Ruby	3	15	21,335	5,680	30
HTML	1	5	128,644	13,500	136
Python	6	2	783,041	83,473	1,012
C	2	2	186,701	18,514	155
Java	3	2	415,076	31,000	329
PHP	1	1	317,692	21,675	127
Rust	2	1	77,760	9,412	74
C++	3	1	466,567	39,031	382
unknown	5	1	1,534,945	98,225	880
Elm	1	0	-	-	-
M	1	0	-	-	-
JavaScript	10	0	-	-	-

Repos

67 total

Repo	Language	Stars	Rank
faster-minikanren	Scheme	151	76
meta-minikanren	Scheme	22	399
syntax-spec	Racket	19	373
multiscope	Racket	16	466
homebrew-chez	Ruby	14	32,980
miniKanren-occurrence-type-inferencer	Scheme	12	647
ee-lib	Racket	12	605
dKanren	Racket	5	1,258
backjumping-miniKanren	HTML	5	118,224
scheme-workshop-2015	Scheme	3	2,036

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

Preview

Last updated: 2024-06-23T23:52:01.575750357Z Re-sync