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-07-14 06:51 UTC

Summary

This Week

214 total
133 commits
34 PRs
9 issues
38 reviews

This Month

593 total
381 commits
105 PRs
26 issues
81 reviews

This Quarter

2387 total
1341 commits
783 PRs
161 issues
102 reviews

This Year

13966 total
8188 commits
4339 PRs
1110 issues
329 reviews

By Repository

Repository Week Month Quarter Year
BaDaaS/cryptography.academy - - 993 465c / 528pr / 0i 7219 3919c / 3248pr / 52i
o1-labs/mina-rust - - - 1860 1080c / 271pr / 410i
dannywillems/dannywillems.github.io 2 2c / 0pr / 0i 11 7c / 3pr / 1i 231 90c / 35pr / 106i 741 414c / 171pr / 154i
o1-labs/proof-systems - - - 562 407c / 100pr / 12i
LeakIX/zcash-web-wallet - - - 518 306c / 72pr / 139i
MinaProtocol/mina - - - 280 160c / 75pr / 1i
BaDaaS/badaas.github.io - 13 10c / 3pr / 0i 79 63c / 13pr / 2i 228 200c / 21pr / 6i
LeakIX/ironhtml - - 4 3c / 1pr / 0i 141 72c / 18pr / 51i
LeakIX/l9format-python 1 1c / 0pr / 0i 1 1c / 0pr / 0i 1 1c / 0pr / 0i 140 98c / 21pr / 19i
zcash/integration-tests 63 44c / 10pr / 4i 74 48c / 14pr / 4i 127 74c / 25pr / 14i 127 74c / 25pr / 14i
LeakIX/LeakIXClient-Python - - - 123 60c / 36pr / 25i
zcash/librustzcash 43 19c / 8pr / 1i 94 43c / 22pr / 3i 116 50c / 33pr / 3i 116 50c / 33pr / 3i
BaDaaS/replication-algorithm-overview - - 115 115c / 0pr / 0i 115 115c / 0pr / 0i
dannywillems/faturinha - - - 108 62c / 7pr / 39i
zcash/zallet 55 33c / 10pr / 4i 89 44c / 20pr / 8i 105 51c / 24pr / 9i 105 51c / 24pr / 9i
LeakIX/catapulta - 4 4c / 0pr / 0i 9 8c / 1pr / 0i 104 81c / 3pr / 20i
dannywillems/faucet-zcash - 90 85c / 4pr / 1i 90 85c / 4pr / 1i 90 85c / 4pr / 1i
LeakIX/leakix-mcp - 5 5c / 0pr / 0i 19 19c / 0pr / 0i 90 76c / 13pr / 0i
zcash/incrementalmerkletree 2 0c / 0pr / 0i 66 34c / 18pr / 3i 74 38c / 22pr / 3i 74 38c / 22pr / 3i
o1-labs/mina-explorer - - - 74 58c / 0pr / 16i
LeakIX/oxide-sql - - 2 2c / 0pr / 0i 71 58c / 5pr / 8i
LeakIX/protonmail-client 11 11c / 0pr / 0i 11 11c / 0pr / 0i 11 11c / 0pr / 0i 69 54c / 4pr / 11i
LeakIX/DocSite 1 1c / 0pr / 0i 5 5c / 0pr / 0i 38 29c / 9pr / 0i 63 49c / 11pr / 0i
BaDaaS/ao-security - 5 5c / 0pr / 0i 32 32c / 0pr / 0i 56 52c / 0pr / 4i
dannywillems/ocaml-ff - - 2 2c / 0pr / 0i 46 35c / 11pr / 0i
LeakIX/hugo-leakix-dark - - - 45 30c / 2pr / 2i
BaDaaS/arithmos - - - 41 4c / 0pr / 37i
LeakIX/sponsor - 4 4c / 0pr / 0i 6 6c / 0pr / 0i 39 34c / 0pr / 5i
o1-labs/redux-rs - - - 33 29c / 4pr / 0i
dannywillems/emacs-package-maintenance - - 32 31c / 1pr / 0i 32 31c / 1pr / 0i
LeakIX/zcash-infra - - - 31 14c / 6pr / 11i
zcash/zcash-android-wallet-sdk - 23 12c / 5pr / 4i 23 12c / 5pr / 4i 23 12c / 5pr / 4i
dannywillems/zcash-crosslink-explorer - - 23 16c / 0pr / 7i 23 16c / 0pr / 7i
dannywillems/roast-my-github - - - 22 22c / 0pr / 0i
BaDaaS/puzzle - - - 21 21c / 0pr / 0i
o1-labs/ocaml-gen - - - 21 16c / 4pr / 0i
zodl-inc/zallet-slsa-test 4 4c / 0pr / 0i 13 13c / 0pr / 0i 20 20c / 0pr / 0i 20 20c / 0pr / 0i
BaDaaS/lean4-courses - - 10 9c / 0pr / 1i 20 19c / 0pr / 1i
MinaProtocol/docs2 - - - 19 12c / 1pr / 0i
LeakIX/caddyfile-rs 1 1c / 0pr / 0i 1 1c / 0pr / 0i 2 2c / 0pr / 0i 18 18c / 0pr / 0i
dannywillems/near-intents-tools - - - 17 16c / 0pr / 1i
BaDaaS/feynman 14 14c / 0pr / 0i 14 14c / 0pr / 0i 14 14c / 0pr / 0i 14 14c / 0pr / 0i
Raspberry-Devs/mina-multi-sig - - - 14 0c / 0pr / 14i
ZcashFoundation/zebra 2 1c / 1pr / 0i 8 5c / 1pr / 0i 13 5c / 5pr / 1i 13 5c / 5pr / 1i
dannywillems/ferrel - - 13 13c / 0pr / 0i 13 13c / 0pr / 0i
LeakIX/email-extract - - - 13 13c / 0pr / 0i
o1-labs/snarky - - - 13 7c / 3pr / 1i
dannywillems/papers - 12 12c / 0pr / 0i 12 12c / 0pr / 0i 12 12c / 0pr / 0i
zcash/zewif-zcashd 1 0c / 0pr / 0i 1 0c / 0pr / 0i 12 11c / 0pr / 0i 12 11c / 0pr / 0i
dannywillems-fork/cipherscan - - 12 0c / 12pr / 0i 12 0c / 12pr / 0i
MinaProtocol/c-reference-signer - - - 12 9c / 3pr / 0i
o1-labs/o1js - - - 12 3c / 3pr / 4i
zingolabs/zaino - 3 0c / 1pr / 0i 11 3c / 5pr / 1i 11 3c / 5pr / 1i
dannywillems/nheqminer - - 11 0c / 11pr / 0i 11 0c / 11pr / 0i
zcash/zcash-swift-wallet-sdk - 10 5c / 3pr / 2i 10 5c / 3pr / 2i 10 5c / 3pr / 2i
dannywillems/toolbox - 6 4c / 2pr / 0i 6 4c / 2pr / 0i 10 8c / 2pr / 0i
dannywillems/bitcoin-rs - - 1 1c / 0pr / 0i 10 10c / 0pr / 0i
BaDaaS/web-learning - - - 10 10c / 0pr / 0i
BaDaaS/lean4-proof-tree - - - 10 7c / 0pr / 3i
zcash/halo2 3 1c / 1pr / 0i 3 1c / 1pr / 0i 9 1c / 3pr / 4i 9 1c / 3pr / 4i
dannywillems/andOTP - - - 9 0c / 9pr / 0i
zodl-inc/zebra - 4 4c / 0pr / 0i 8 4c / 1pr / 1i 8 4c / 1pr / 1i
BaDaaS/awesome-pqc - - 6 6c / 0pr / 0i 6 6c / 0pr / 0i
o1-labs/mina-network-debugger - - - 6 5c / 1pr / 0i
o1-labs/circuit-blobs - - - 6 5c / 1pr / 0i
dannywillems/mina-web-wallet - - - 6 2c / 0pr / 4i
o1-labs/seeds - - - 6 0c / 2pr / 0i
zcash/orchard 4 1c / 1pr / 0i 5 1c / 1pr / 0i 5 1c / 1pr / 0i 5 1c / 1pr / 0i
zcash/zcash_note_encryption 1 0c / 0pr / 0i 1 0c / 0pr / 0i 5 0c / 2pr / 0i 5 0c / 2pr / 0i
dannywillems/mina-extension - - - 5 5c / 0pr / 0i
LeakIX/proton-bridge-docker - - - 5 5c / 0pr / 0i
BaDaaS/proton-drive-client - - - 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
zcash/zewif 3 0c / 0pr / 0i 4 0c / 0pr / 0i 4 0c / 0pr / 0i 4 0c / 0pr / 0i
zingolabs/infrastructure - 4 1c / 1pr / 0i 4 1c / 1pr / 0i 4 1c / 1pr / 0i
BaDaaS/pretty-printer - - 4 4c / 0pr / 0i 4 4c / 0pr / 0i
volrath/treepy.el - - 4 2c / 1pr / 1i 4 2c / 1pr / 1i
dannywillems/dannywillems - 1 1c / 0pr / 0i 3 3c / 0pr / 0i 4 4c / 0pr / 0i
LeakIX/stripe-accounting - - - 4 4c / 0pr / 0i
leanprover-community/lean4-mode - - - 4 0c / 4pr / 0i
zcash/zcash - 1 0c / 0pr / 0i 3 0c / 0pr / 0i 3 0c / 0pr / 0i
dannywillems/vim-tips - - 3 3c / 0pr / 0i 3 3c / 0pr / 0i
BaDaaS/converted-papers - - 3 3c / 0pr / 0i 3 3c / 0pr / 0i
atomontage/xterm-color - - 3 2c / 1pr / 0i 3 2c / 1pr / 0i
zkry/yaml.el - - 3 2c / 1pr / 0i 3 2c / 1pr / 0i
noctuid/annalist.el - - 3 2c / 1pr / 0i 3 2c / 1pr / 0i
khovratovich/poseidon-tools - - - 3 0c / 2pr / 0i
zcash/schemerz - 2 1c / 1pr / 0i 2 1c / 1pr / 0i 2 1c / 1pr / 0i
ocaml/merlin - - 2 1c / 1pr / 0i 2 1c / 1pr / 0i
jasonm23/autothemer - - 2 1c / 1pr / 0i 2 1c / 1pr / 0i
zcash/zcash-devtool - - 2 1c / 1pr / 0i 2 1c / 1pr / 0i
dannywillems/zcash-dca-bot - - - 2 2c / 0pr / 0i
LeakIX/audit-dependencies - - - 2 2c / 0pr / 0i
dannywillems/o1vm-test - - - 2 2c / 0pr / 0i
BaDaaS/awesome-zcash - - - 2 2c / 0pr / 0i
dannywillems/ms-waitlist-notifier - - - 2 2c / 0pr / 0i
LeakIX/corrode - - - 2 2c / 0pr / 0i
ShieldedLabs/crosslink_monolith - - - 2 0c / 2pr / 0i
henryiii/check-sdist - - - 2 0c / 1pr / 1i
o1-labs/opam-repository - - - 2 0c / 1pr / 0i
daira/CompElliptic 1 0c / 1pr / 0i 1 0c / 1pr / 0i 1 0c / 1pr / 0i 1 0c / 1pr / 0i
zcash/pasta_curves 1 0c / 1pr / 0i 1 0c / 1pr / 0i 1 0c / 1pr / 0i 1 0c / 1pr / 0i
str4d/rage 1 0c / 1pr / 0i 1 0c / 1pr / 0i 1 0c / 1pr / 0i 1 0c / 1pr / 0i
dannywillems/incrementalmerkletree - 1 0c / 1pr / 0i 1 0c / 1pr / 0i 1 0c / 1pr / 0i
Chlup/ZODLIronwoodMigrationRust - 1 0c / 1pr / 0i 1 0c / 1pr / 0i 1 0c / 1pr / 0i
zcash/zcash_client_memory - - 1 1c / 0pr / 0i 1 1c / 0pr / 0i
dannywillems-fork/imenu-list - - 1 0c / 1pr / 0i 1 0c / 1pr / 0i
bmag/imenu-list - - 1 0c / 1pr / 0i 1 0c / 1pr / 0i
linktohack/evil-commentary - - 1 0c / 1pr / 0i 1 0c / 1pr / 0i
dannywillems-fork/rust-mode - - 1 0c / 1pr / 0i 1 0c / 1pr / 0i
ocaml/caml-mode - - 1 0c / 1pr / 0i 1 0c / 1pr / 0i
dannywillems-fork/sage-shell-mode - - 1 0c / 1pr / 0i 1 0c / 1pr / 0i
rust-lang/rust-mode - - 1 0c / 1pr / 0i 1 0c / 1pr / 0i
sagemath/sage-shell-mode - - 1 0c / 1pr / 0i 1 0c / 1pr / 0i
kiwanami/emacs-deferred - - 1 0c / 1pr / 0i 1 0c / 1pr / 0i
emacs-evil/evil-surround - - 1 0c / 1pr / 0i 1 0c / 1pr / 0i
dannywillems-fork/autothemer - - 1 0c / 1pr / 0i 1 0c / 1pr / 0i
nymtech/nym - - 1 0c / 1pr / 0i 1 0c / 1pr / 0i
nymtech/sphinx - - 1 0c / 1pr / 0i 1 0c / 1pr / 0i
dannywillems/rage - - 1 0c / 1pr / 0i 1 0c / 1pr / 0i
armindarvish/consult-gh - - 1 0c / 1pr / 0i 1 0c / 1pr / 0i
emacs-rustic/rustic - - 1 0c / 1pr / 0i 1 0c / 1pr / 0i
Fuco1/smartparens - - 1 0c / 1pr / 0i 1 0c / 1pr / 0i
brotzeit/rustic - - 1 0c / 1pr / 0i 1 0c / 1pr / 0i
ocaml/dune - - 1 0c / 1pr / 0i 1 0c / 1pr / 0i
org-roam/org-roam - - 1 0c / 1pr / 0i 1 0c / 1pr / 0i
tumashu/posframe - - 1 0c / 1pr / 0i 1 0c / 1pr / 0i
noctuid/general.el - - 1 0c / 1pr / 0i 1 0c / 1pr / 0i
deb0ch/emacs-winum - - 1 0c / 1pr / 0i 1 0c / 1pr / 0i
magit/forge - - 1 0c / 0pr / 1i 1 0c / 0pr / 1i
BaDaaS/primavera - - - 1 1c / 0pr / 0i
dannywillems/cargo-example-async-await - - - 1 1c / 0pr / 0i
BaDaaS/scripts - - - 1 1c / 0pr / 0i
dannywillems/crosslink_monolith - - - 1 0c / 1pr / 0i
dannywillems/ledger-mina - - - 1 0c / 1pr / 0i
tevador/RandomX - - - 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.