gravatar for JonathanBrouwer

JonathanBrouwer JonathanBrouwer on Github

global

Languages

9 total

LanguageReposStarsGlobal
all2934561,188
Rust181815,953
Java21477,699
Agda12407
Python10-
Shell10-
C#20-
HTML10-
TeX20-
Nix10-

Repos

29 total

RepoLanguageStarsRank
JonathanBrouwer/UltimateCore on GithubUltimateCoreJava1499,223
JonathanBrouwer/exhaustive on GithubexhaustiveRust838,264
JonathanBrouwer/aoc2019 on Githubaoc2019Rust2101,868
JonathanBrouwer/research-project on Githubresearch-projectAgda2701
JonathanBrouwer/Prism on GithubPrismRust296,839
JonathanBrouwer/squaredle-solver on Githubsquaredle-solverRust289,482
JonathanBrouwer/map_box on Githubmap_boxRust281,750
JonathanBrouwer/aoc2020 on Githubaoc2020Rust1158,748
JonathanBrouwer/lightbringer on GithublightbringerRust1108,818
JonathanBrouwer/PreGenerator on GithubPreGeneratorJava0-

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-04-14T19:20:07.690014014Z Re-sync