gravatar for jsiek

jsiek jsiek on Github

global / united states / bloomington

Languages

8 total

LanguageReposStarsGlobalCountryLocality
all16326116,11217,09412
Agda51921311
TeX3901,2111972
C++12643,4415,0507
OCaml161,9353201
Python26349,98742,81863
unknown26210,65722,86830
C10---
Isabelle10---

Repos

16 total

RepoLanguageStarsRank
jsiek/B629-denotational on GithubB629-denotationalTeX721,408
jsiek/abstract-binding-trees on Githubabstract-binding-treesAgda6830
jsiek/gradual-typing-in-agda on Githubgradual-typing-in-agdaAgda5443
jsiek/B522-PL-Foundations on GithubB522-PL-FoundationsAgda5346
jsiek/featherweight-C on Githubfeatherweight-CC++2653,306
jsiek/denotational_semantics on Githubdenotational_semanticsAgda17157
jsiek/arete on GithubareteTeX126,182
jsiek/al on GithubalOCaml64,382
jsiek/step-indexed-logic on Githubstep-indexed-logicTeX610,458
jsiek/B505-algorithms-public on GithubB505-algorithms-publicunknown5257,740

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-05-15T08:43:08.144926836Z Re-sync