gravatar for miniKanren

miniKanren miniKanren on Github

global

Languages

3 total

LanguageReposStarsGlobal
all663269,776
Scheme453925
Racket18493
HTML1969,777

Repos

6 total

RepoLanguageStarsRank
miniKanren/miniKanren on GithubminiKanrenScheme35039
miniKanren/TheReasonedSchemer on GithubTheReasonedSchemerScheme12594
miniKanren/Racket-miniKanren on GithubRacket-miniKanrenRacket8479
miniKanren/simple-miniKanren on Githubsimple-miniKanrenScheme41220
miniKanren/sokuza-kanren on Githubsokuza-kanrenScheme23385
miniKanren/miniKanren_org-website on GithubminiKanren_org-websiteHTML966,849

Badges

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

Global

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

Preview

Last updated: 2024-06-05T15:16:21.233476829Z Re-sync