gravatar for jasonhemann

jasonhemann jasonhemann on Github

global / united states / irvington

Languages

10 total

LanguageReposStarsGlobalCountryLocality
all4446487,55213,1972
Scheme834743151
Racket159586341
Shen191121
unknown67183,89820,6192
HTML63219,23021,0602
TeX2224,1823,2991
Emacs Lisp1110,4051,9031
Shell20---
Ruby10---
SCSS20---

Repos

44 total

RepoLanguageStarsRank
jasonhemann/microKanren on GithubmicroKanrenScheme30042
jasonhemann/miniKanren on GithubminiKanrenScheme29298
jasonhemann/micro-in-mini on Githubmicro-in-miniRacket24310
jasonhemann/constraint-microKanren on Githubconstraint-microKanrenRacket18412
jasonhemann/Roll-Your-Own-Relational-DSL on GithubRoll-Your-Own-Relational-DSLRacket14525
jasonhemann/microKanren-DLS-16 on GithubmicroKanren-DLS-16Racket14519
jasonhemann/lambdajam2013 on Githublambdajam2013Scheme13610
jasonhemann/microKanren-shen on GithubmicroKanren-shenShen911
jasonhemann/natlogic on GithubnatlogicRacket61,083
jasonhemann/small-micro-w-disequality on Githubsmall-micro-w-disequalityRacket51,148

Badges

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

GlobalCountryLocality

Global

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

Preview

Country

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

Preview

Locality

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

Preview

Last updated: 2024-04-22T21:24:34.219886407Z Re-sync