gravatar for alexhkurz

alexhkurz alexhkurz on Github

global

Languages

12 total

LanguageReposStarsGlobal
all3516921,045
JavaScript64415,543
HTML64146,505
Promela1315
TypeScript12202,267
Solidity1114,779
MATLAB1153,737
TeX7130,194
Jupyter Notebook10-
Python10-
C++10-
Haskell30-
unknown60-

Repos

35 total

RepoLanguageStarsRank
alexhkurz/algorithm-analysis-2023 on Githubalgorithm-analysis-2023Promela314
alexhkurz/compiler-construction-2022 on Githubcompiler-construction-2022HTML2293,117
alexhkurz/SmartContractsSummer2022 on GithubSmartContractsSummer2022JavaScript2926,862
alexhkurz/introduction-to-smart-contracts on Githubintroduction-to-smart-contractsTypeScript2287,598
alexhkurz/BlocklyPrisonersDilemma on GithubBlocklyPrisonersDilemmaJavaScript2850,910
alexhkurz/introduction-to-probability on Githubintroduction-to-probabilityHTML11,200,875
alexhkurz/octave on GithuboctaveMATLAB180,542
alexhkurz/coalgebraic-logic-mdbook on Githubcoalgebraic-logic-mdbookHTML1605,131
alexhkurz/introduction-to-coalgebraic-logic on Githubintroduction-to-coalgebraic-logicTeX135,101
alexhkurz/blockchain-voting-mechanism on Githubblockchain-voting-mechanismSolidity117,425

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-21T15:39:43.420330784Z Re-sync