gravatar for miniKanren

miniKanren miniKanren on Github

global

Languages

3 total

LanguageReposStarsGlobal
all663270,003
Scheme453925
Racket18493
HTML1970,068

Repos

6 total

RepoLanguageStarsRank
miniKanren/miniKanren on GithubminiKanrenScheme35039
miniKanren/TheReasonedSchemer on GithubTheReasonedSchemerScheme12594
miniKanren/Racket-miniKanren on GithubRacket-miniKanrenRacket8479
miniKanren/simple-miniKanren on Githubsimple-miniKanrenScheme41219
miniKanren/sokuza-kanren on Githubsokuza-kanrenScheme23385
miniKanren/miniKanren_org-website on GithubminiKanren_org-websiteHTML967,039

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