Danny Willems -- Work In Progress

A mathematician dreaming about describing the Universe with equations and symbols.

GitHub Contributions

A snapshot of my open source activity on GitHub, including commits, pull requests, issues, and code reviews across various projects. Data is fetched daily via the GitHub GraphQL API and covers contributions from the past week, month, quarter, and year.

Last updated: 2026-06-16 08:08 UTC

Summary

This Week

84 total
23 commits
15 PRs
38 issues
8 reviews

This Month

457 total
167 commits
133 PRs
133 issues
24 reviews

This Quarter

4935 total
2622 commits
2133 PRs
154 issues
26 reviews

This Year

13792 total
8088 commits
4314 PRs
1116 issues
274 reviews

By Repository

Repository Week Month Quarter Year
BaDaaS/cryptography.academy - - 3716 1843c / 1872pr / 1i 7219 3919c / 3248pr / 52i
o1-labs/mina-rust - - - 1864 1083c / 272pr / 410i
dannywillems/dannywillems.github.io 30 0c / 1pr / 29i 180 48c / 27pr / 105i 415 202c / 108pr / 105i 730 407c / 168pr / 153i
o1-labs/proof-systems - - - 613 443c / 114pr / 12i
LeakIX/zcash-web-wallet - - 2 0c / 2pr / 0i 518 306c / 72pr / 139i
MinaProtocol/mina - - - 458 288c / 109pr / 1i
BaDaaS/badaas.github.io - 7 4c / 3pr / 0i 152 131c / 17pr / 3i 215 190c / 18pr / 6i
LeakIX/ironhtml - - 5 4c / 1pr / 0i 141 72c / 18pr / 51i
LeakIX/l9format-python - - - 139 97c / 21pr / 19i
LeakIX/LeakIXClient-Python - - 5 2c / 2pr / 1i 123 60c / 36pr / 25i
BaDaaS/replication-algorithm-overview - - 115 115c / 0pr / 0i 115 115c / 0pr / 0i
dannywillems/faturinha - - - 108 62c / 7pr / 39i
LeakIX/catapulta - 1 1c / 0pr / 0i 25 21c / 1pr / 3i 100 77c / 3pr / 20i
LeakIX/leakix-mcp - 8 8c / 0pr / 0i 16 16c / 0pr / 0i 85 71c / 13pr / 0i
o1-labs/mina-explorer - - - 74 58c / 0pr / 16i
LeakIX/oxide-sql - 2 2c / 0pr / 0i 5 5c / 0pr / 0i 71 58c / 5pr / 8i
o1-labs/o1js - - - 66 38c / 18pr / 5i
LeakIX/DocSite 4 3c / 1pr / 0i 4 3c / 1pr / 0i 36 27c / 9pr / 0i 58 44c / 11pr / 0i
LeakIX/protonmail-client - - 1 1c / 0pr / 0i 58 43c / 4pr / 11i
zcash/integration-tests 32 17c / 6pr / 6i 52 25c / 11pr / 10i 52 25c / 11pr / 10i 52 25c / 11pr / 10i
BaDaaS/ao-security - - 44 42c / 0pr / 2i 51 47c / 0pr / 4i
dannywillems/operating-system - - - 51 31c / 0pr / 20i
dannywillems/ocaml-ff - - 46 35c / 11pr / 0i 46 35c / 11pr / 0i
o1-labs/snarky - - - 46 35c / 7pr / 1i
LeakIX/hugo-leakix-dark - - - 45 30c / 2pr / 2i
BaDaaS/arithmos - - 2 2c / 0pr / 0i 41 4c / 0pr / 37i
LeakIX/sponsor - - 5 5c / 0pr / 0i 35 30c / 0pr / 5i
o1-labs/redux-rs - - - 33 29c / 4pr / 0i
dannywillems/emacs-package-maintenance - 32 31c / 1pr / 0i 32 31c / 1pr / 0i 32 31c / 1pr / 0i
LeakIX/zcash-infra - - - 31 14c / 6pr / 11i
o1-labs/integers_stubs_js - - - 25 24c / 1pr / 0i
dannywillems/zcash-crosslink-explorer - - 23 16c / 0pr / 7i 23 16c / 0pr / 7i
zcash/librustzcash 5 2c / 1pr / 0i 22 7c / 11pr / 0i 22 7c / 11pr / 0i 22 7c / 11pr / 0i
dannywillems/roast-my-github - - 7 7c / 0pr / 0i 22 22c / 0pr / 0i
BaDaaS/puzzle - - - 22 22c / 0pr / 0i
o1-labs/ocaml-gen - - - 21 16c / 4pr / 0i
BaDaaS/lean4-courses - - 20 19c / 0pr / 1i 20 19c / 0pr / 1i
MinaProtocol/docs2 - - - 19 12c / 1pr / 0i
zcash/zewif-zcashd - 17 0c / 5pr / 8i 17 0c / 5pr / 8i 17 0c / 5pr / 8i
LeakIX/caddyfile-rs - - 2 2c / 0pr / 0i 17 17c / 0pr / 0i
dannywillems/near-intents-tools - - - 17 16c / 0pr / 1i
zcash/wallet 3 0c / 0pr / 1i 16 7c / 4pr / 1i 16 7c / 4pr / 1i 16 7c / 4pr / 1i
Raspberry-Devs/mina-multi-sig - - - 14 0c / 0pr / 14i
dannywillems/ferrel - 13 13c / 0pr / 0i 13 13c / 0pr / 0i 13 13c / 0pr / 0i
LeakIX/email-extract - - 2 2c / 0pr / 0i 13 13c / 0pr / 0i
dannywillems/cipherscan - 12 0c / 12pr / 0i 12 0c / 12pr / 0i 12 0c / 12pr / 0i
MinaProtocol/c-reference-signer - - - 12 9c / 3pr / 0i
dannywillems/nheqminer - 11 0c / 11pr / 0i 11 0c / 11pr / 0i 11 0c / 11pr / 0i
dannywillems/ocaml-dune-format - - - 11 11c / 0pr / 0i
BaDaaS/lean4-proof-tree - - 10 7c / 0pr / 3i 10 7c / 0pr / 3i
dannywillems/bitcoin-rs - 1 1c / 0pr / 0i 1 1c / 0pr / 0i 10 10c / 0pr / 0i
BaDaaS/web-learning - - - 10 10c / 0pr / 0i
dannywillems/andOTP - - - 9 0c / 9pr / 0i
zingolabs/zaino - 8 3c / 4pr / 1i 8 3c / 4pr / 1i 8 3c / 4pr / 1i
LeakIX/stripe-accounting - - - 8 8c / 0pr / 0i
o1-labs/seeds - - - 7 0c / 2pr / 0i
zcash/halo2 - 6 0c / 2pr / 4i 6 0c / 2pr / 4i 6 0c / 2pr / 4i
BaDaaS/awesome-pqc - - 6 6c / 0pr / 0i 6 6c / 0pr / 0i
o1-labs/circuit-blobs - - - 6 5c / 1pr / 0i
o1-labs/mina-network-debugger - - - 6 5c / 1pr / 0i
dannywillems/mina-web-wallet - - - 6 2c / 0pr / 4i
zcash/incrementalmerkletree 5 1c / 4pr / 0i 5 1c / 4pr / 0i 5 1c / 4pr / 0i 5 1c / 4pr / 0i
ZcashFoundation/zebra 2 0c / 1pr / 1i 5 0c / 4pr / 1i 5 0c / 4pr / 1i 5 0c / 4pr / 1i
BaDaaS/proton-drive-client - - - 5 5c / 0pr / 0i
LeakIX/proton-bridge-docker - - - 5 5c / 0pr / 0i
dannywillems/mina-extension - - - 5 5c / 0pr / 0i
dannywillems/rust-async-await-course-example - - - 5 4c / 0pr / 0i
o1-labs/cargo-specification - - - 5 0c / 4pr / 1i
o1-labs/community-grants - - - 5 0c / 0pr / 5i
zodl-inc/zebra 1 0c / 0pr / 1i 4 0c / 1pr / 1i 4 0c / 1pr / 1i 4 0c / 1pr / 1i
volrath/treepy.el - 4 2c / 1pr / 1i 4 2c / 1pr / 1i 4 2c / 1pr / 1i
zcash/zcash_note_encryption - 4 0c / 2pr / 0i 4 0c / 2pr / 0i 4 0c / 2pr / 0i
BaDaaS/pretty-printer - - 4 4c / 0pr / 0i 4 4c / 0pr / 0i
leanprover-community/lean4-mode - - 4 0c / 4pr / 0i 4 0c / 4pr / 0i
dannywillems/toolbox - - - 4 4c / 0pr / 0i
dannywillems/vim-tips - 3 3c / 0pr / 0i 3 3c / 0pr / 0i 3 3c / 0pr / 0i
atomontage/xterm-color - 3 2c / 1pr / 0i 3 2c / 1pr / 0i 3 2c / 1pr / 0i
zkry/yaml.el - 3 2c / 1pr / 0i 3 2c / 1pr / 0i 3 2c / 1pr / 0i
noctuid/annalist.el - 3 2c / 1pr / 0i 3 2c / 1pr / 0i 3 2c / 1pr / 0i
dannywillems/dannywillems - - 3 3c / 0pr / 0i 3 3c / 0pr / 0i
BaDaaS/converted-papers - - 3 3c / 0pr / 0i 3 3c / 0pr / 0i
khovratovich/poseidon-tools - - 3 0c / 2pr / 0i 3 0c / 2pr / 0i
dannywillems/play-with-o1js - - - 3 3c / 0pr / 0i
o1-labs/opam-repository - - - 3 0c / 2pr / 0i
dannywillems/planning-public - - - 3 0c / 0pr / 3i
zcash/zcash 1 0c / 0pr / 0i 2 0c / 0pr / 0i 2 0c / 0pr / 0i 2 0c / 0pr / 0i
ocaml/merlin - 2 1c / 1pr / 0i 2 1c / 1pr / 0i 2 1c / 1pr / 0i
jasonm23/autothemer - 2 1c / 1pr / 0i 2 1c / 1pr / 0i 2 1c / 1pr / 0i
zcash/zewif - 2 0c / 2pr / 0i 2 0c / 2pr / 0i 2 0c / 2pr / 0i
LeakIX/corrode - - - 2 2c / 0pr / 0i
dannywillems/ms-waitlist-notifier - - - 2 2c / 0pr / 0i
dannywillems/o1vm-test - - - 2 2c / 0pr / 0i
BaDaaS/awesome-zcash - - - 2 2c / 0pr / 0i
dannywillems/zcash-dca-bot - - - 2 2c / 0pr / 0i
LeakIX/audit-dependencies - - - 2 2c / 0pr / 0i
dannywillems/binius - - - 2 0c / 2pr / 0i
ShieldedLabs/crosslink_monolith - - - 2 0c / 2pr / 0i
henryiii/check-sdist - - - 2 0c / 1pr / 1i
dannywillems/rage 1 0c / 1pr / 0i 1 0c / 1pr / 0i 1 0c / 1pr / 0i 1 0c / 1pr / 0i
kiwanami/emacs-deferred - 1 0c / 1pr / 0i 1 0c / 1pr / 0i 1 0c / 1pr / 0i
sagemath/sage-shell-mode - 1 0c / 1pr / 0i 1 0c / 1pr / 0i 1 0c / 1pr / 0i
rust-lang/rust-mode - 1 0c / 1pr / 0i 1 0c / 1pr / 0i 1 0c / 1pr / 0i
dannywillems/sage-shell-mode - 1 0c / 1pr / 0i 1 0c / 1pr / 0i 1 0c / 1pr / 0i
ocaml/caml-mode - 1 0c / 1pr / 0i 1 0c / 1pr / 0i 1 0c / 1pr / 0i
dannywillems/rust-mode - 1 0c / 1pr / 0i 1 0c / 1pr / 0i 1 0c / 1pr / 0i
dannywillems/imenu-list - 1 0c / 1pr / 0i 1 0c / 1pr / 0i 1 0c / 1pr / 0i
bmag/imenu-list - 1 0c / 1pr / 0i 1 0c / 1pr / 0i 1 0c / 1pr / 0i
linktohack/evil-commentary - 1 0c / 1pr / 0i 1 0c / 1pr / 0i 1 0c / 1pr / 0i
emacs-evil/evil-surround - 1 0c / 1pr / 0i 1 0c / 1pr / 0i 1 0c / 1pr / 0i
dannywillems/autothemer - 1 0c / 1pr / 0i 1 0c / 1pr / 0i 1 0c / 1pr / 0i
deb0ch/emacs-winum - 1 0c / 1pr / 0i 1 0c / 1pr / 0i 1 0c / 1pr / 0i
noctuid/general.el - 1 0c / 1pr / 0i 1 0c / 1pr / 0i 1 0c / 1pr / 0i
tumashu/posframe - 1 0c / 1pr / 0i 1 0c / 1pr / 0i 1 0c / 1pr / 0i
org-roam/org-roam - 1 0c / 1pr / 0i 1 0c / 1pr / 0i 1 0c / 1pr / 0i
ocaml/dune - 1 0c / 1pr / 0i 1 0c / 1pr / 0i 1 0c / 1pr / 0i
brotzeit/rustic - 1 0c / 1pr / 0i 1 0c / 1pr / 0i 1 0c / 1pr / 0i
Fuco1/smartparens - 1 0c / 1pr / 0i 1 0c / 1pr / 0i 1 0c / 1pr / 0i
emacs-rustic/rustic - 1 0c / 1pr / 0i 1 0c / 1pr / 0i 1 0c / 1pr / 0i
armindarvish/consult-gh - 1 0c / 1pr / 0i 1 0c / 1pr / 0i 1 0c / 1pr / 0i
zcash/zcash-devtool - 1 0c / 1pr / 0i 1 0c / 1pr / 0i 1 0c / 1pr / 0i
magit/forge - 1 0c / 0pr / 1i 1 0c / 0pr / 1i 1 0c / 0pr / 1i
BaDaaS/primavera - - 1 1c / 0pr / 0i 1 1c / 0pr / 0i
nymtech/nym - - 1 0c / 1pr / 0i 1 0c / 1pr / 0i
nymtech/sphinx - - 1 0c / 1pr / 0i 1 0c / 1pr / 0i
dannywillems/cargo-example-async-await - - - 1 1c / 0pr / 0i
BaDaaS/scripts - - - 1 1c / 0pr / 0i
dannywillems/steg-xai - - - 1 1c / 0pr / 0i
dannywillems/crosslink_monolith - - - 1 0c / 1pr / 0i
tevador/RandomX - - - 1 0c / 1pr / 0i
IrreducibleOSS/binius - - - 1 0c / 1pr / 0i
dannywillems/ledger-mina - - - 1 0c / 1pr / 0i
rust-lang/rust - - - 1 0c / 0pr / 1i
o1-labs/submission-updater - - - 1 0c / 0pr / 0i

Data sourced from GitHub via GraphQL API. Updated daily.