gravatar for andrejbauer

andrejbauer andrejbauer on Github

global / slovenia / slovenia

Languages

12 total

Repos

42 total

RepoLanguageStarsRank
andrejbauer/plzoo on GithubplzooOCaml1,41227
andrejbauer/homotopy-type-theory-course on Githubhomotopy-type-theory-courseTeX271408
andrejbauer/spartan-type-theory on Githubspartan-type-theoryOCaml245147
andrejbauer/marshall on GithubmarshallOCaml114327
andrejbauer/Homotopy on GithubHomotopyVerilog90272
andrejbauer/coop on GithubcoopOCaml87420
andrejbauer/alg on GithubalgOCaml82448
andrejbauer/notes-on-realizability on Githubnotes-on-realizabilityTeX621,503
andrejbauer/what-is-algebraic-about-algebraic-effects on Githubwhat-is-algebraic-about-algebraic-effectsTeX461,968
andrejbauer/mathematics-and-computation on Githubmathematics-and-computationMathematica44134

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

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-03-17T22:53:58.849870343Z Re-sync