gravatar for miniKanren

miniKanren miniKanren on Github

global

Languages

3 total

LanguageReposStarsGlobal
all663673,255
Scheme454126
Racket18491
HTML11161,467

Repos

6 total

RepoLanguageStarsRank
miniKanren/miniKanren on GithubminiKanrenScheme34942
miniKanren/TheReasonedSchemer on GithubTheReasonedSchemerScheme12698
miniKanren/Racket-miniKanren on GithubRacket-miniKanrenRacket8480
miniKanren/simple-miniKanren on Githubsimple-miniKanrenScheme42227
miniKanren/sokuza-kanren on Githubsokuza-kanrenScheme24395
miniKanren/miniKanren_org-website on GithubminiKanren_org-websiteHTML1159,107

Badges

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

Global

Global

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

Preview

Last updated: 2024-10-30T15:44:56.614010152Z Re-sync