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-04-24 06:48 UTC

Summary

This Week

81 total
69 commits
11 PRs
1 issues
0 reviews

This Month

1199 total
523 commits
659 PRs
16 issues
1 reviews

This Quarter

7860 total
4601 commits
2993 PRs
241 issues
25 reviews

This Year

12888 total
7701 commits
3825 PRs
1002 issues
360 reviews

By Repository

Repository Week Month Quarter Year
BaDaaS/cryptography.academy - 860 241c / 618pr / 1i 6118 3378c / 2720pr / 20i 6181 3409c / 2720pr / 52i
o1-labs/mina-rust - - 38 27c / 6pr / 2i 1865 1083c / 273pr / 410i
MinaProtocol/mina - - 29 18c / 6pr / 0i 992 638c / 236pr / 6i
o1-labs/proof-systems - - 162 124c / 27pr / 1i 762 531c / 131pr / 26i
dannywillems/dannywillems.github.io 13 12c / 1pr / 0i 40 33c / 7pr / 0i 226 146c / 79pr / 1i 522 335c / 137pr / 48i
LeakIX/zcash-web-wallet - 1 0c / 1pr / 0i 16 5c / 11pr / 0i 518 306c / 72pr / 139i
BaDaaS/badaas.github.io 20 19c / 0pr / 1i 100 92c / 6pr / 2i 154 144c / 8pr / 2i 169 156c / 8pr / 5i
LeakIX/ironhtml 4 3c / 1pr / 0i 5 4c / 1pr / 0i 122 56c / 18pr / 48i 141 72c / 18pr / 51i
LeakIX/l9format-python - - 139 97c / 21pr / 19i 139 97c / 21pr / 19i
o1-labs/snarky - - - 126 82c / 21pr / 1i
LeakIX/LeakIXClient-Python - - 123 60c / 36pr / 25i 123 60c / 36pr / 25i
dannywillems/faturinha - - 14 11c / 2pr / 1i 108 62c / 7pr / 39i
LeakIX/catapulta 4 3c / 1pr / 0i 17 14c / 1pr / 2i 99 76c / 3pr / 20i 99 76c / 3pr / 20i
o1-labs/o1js - - 1 0c / 1pr / 0i 81 41c / 29pr / 5i
LeakIX/leakix-mcp - 6 6c / 0pr / 0i 75 61c / 13pr / 0i 75 61c / 13pr / 0i
o1-labs/mina-explorer - - 74 58c / 0pr / 16i 74 58c / 0pr / 16i
LeakIX/oxide-sql - 3 3c / 0pr / 0i 69 56c / 5pr / 8i 69 56c / 5pr / 8i
LeakIX/protonmail-client - 1 1c / 0pr / 0i 58 43c / 4pr / 11i 58 43c / 4pr / 11i
LeakIX/DocSite 29 21c / 8pr / 0i 31 23c / 8pr / 0i 32 24c / 8pr / 0i 54 41c / 10pr / 0i
dannywillems/operating-system - - - 51 31c / 0pr / 20i
dannywillems/ocaml-ff 2 2c / 0pr / 0i 46 35c / 11pr / 0i 46 35c / 11pr / 0i 46 35c / 11pr / 0i
LeakIX/hugo-leakix-dark - - 1 0c / 0pr / 0i 45 30c / 2pr / 2i
BaDaaS/arithmos - - 41 4c / 0pr / 37i 41 4c / 0pr / 37i
LeakIX/sponsor 1 1c / 0pr / 0i 5 5c / 0pr / 0i 7 7c / 0pr / 0i 35 30c / 0pr / 5i
o1-labs/redux-rs - - - 33 29c / 4pr / 0i
BaDaaS/ao-security 1 1c / 0pr / 0i 23 22c / 0pr / 1i 32 28c / 0pr / 4i 32 28c / 0pr / 4i
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 23 16c / 0pr / 7i
dannywillems/roast-my-github - - 22 22c / 0pr / 0i 22 22c / 0pr / 0i
BaDaaS/puzzle - - 1 1c / 0pr / 0i 22 22c / 0pr / 0i
o1-labs/ocaml-gen - - - 21 16c / 4pr / 0i
MinaProtocol/docs2 - - 1 1c / 0pr / 0i 19 12c / 1pr / 0i
LeakIX/caddyfile-rs 1 1c / 0pr / 0i 2 2c / 0pr / 0i 17 17c / 0pr / 0i 17 17c / 0pr / 0i
dannywillems/near-intents-tools - - 17 16c / 0pr / 1i 17 16c / 0pr / 1i
o1-labs/seeds - - - 16 0c / 2pr / 2i
Raspberry-Devs/mina-multi-sig - - 13 0c / 0pr / 13i 14 0c / 0pr / 14i
LeakIX/email-extract - 2 2c / 0pr / 0i 13 13c / 0pr / 0i 13 13c / 0pr / 0i
o1-labs/opam-repository - - - 13 6c / 5pr / 0i
MinaProtocol/c-reference-signer - - - 12 9c / 3pr / 0i
dannywillems/ocaml-dune-format - - - 11 11c / 0pr / 0i
BaDaaS/lean4-courses - 10 10c / 0pr / 0i 10 10c / 0pr / 0i 10 10c / 0pr / 0i
BaDaaS/lean4-proof-tree - 10 7c / 0pr / 3i 10 7c / 0pr / 3i 10 7c / 0pr / 3i
BaDaaS/web-learning - - - 10 10c / 0pr / 0i
dannywillems/bitcoin-rs - - - 9 9c / 0pr / 0i
dannywillems/andOTP - - - 9 0c / 9pr / 0i
LeakIX/stripe-accounting - - 1 1c / 0pr / 0i 8 8c / 0pr / 0i
o1-labs/orocksdb - - - 7 0c / 7pr / 0i
BaDaaS/awesome-pqc 6 6c / 0pr / 0i 6 6c / 0pr / 0i 6 6c / 0pr / 0i 6 6c / 0pr / 0i
o1-labs/mina-network-debugger - - 2 2c / 0pr / 0i 6 5c / 1pr / 0i
o1-labs/circuit-blobs - - - 6 5c / 1pr / 0i
MinaProtocol/kimchi-stubs-vendors - - - 6 3c / 2pr / 0i
dannywillems/mina-web-wallet - - - 6 2c / 0pr / 4i
BaDaaS/proton-drive-client - - 5 5c / 0pr / 0i 5 5c / 0pr / 0i
dannywillems/mina-extension - - 5 5c / 0pr / 0i 5 5c / 0pr / 0i
LeakIX/proton-bridge-docker - - 5 5c / 0pr / 0i 5 5c / 0pr / 0i
o1-labs/cargo-specification - - 5 0c / 4pr / 1i 5 0c / 4pr / 1i
dannywillems/rust-async-await-course-example - - - 5 4c / 0pr / 0i
o1-labs/community-grants - - - 5 0c / 0pr / 5i
leanprover-community/lean4-mode - 4 0c / 4pr / 0i 4 0c / 4pr / 0i 4 0c / 4pr / 0i
dannywillems/toolbox - - 4 4c / 0pr / 0i 4 4c / 0pr / 0i
khovratovich/poseidon-tools - 3 0c / 2pr / 0i 3 0c / 2pr / 0i 3 0c / 2pr / 0i
dannywillems/play-with-o1js - - - 3 3c / 0pr / 0i
dannywillems/planning-public - - - 3 0c / 0pr / 3i
LeakIX/audit-dependencies - - 2 2c / 0pr / 0i 2 2c / 0pr / 0i
LeakIX/corrode - - 2 2c / 0pr / 0i 2 2c / 0pr / 0i
dannywillems/ms-waitlist-notifier - - 2 2c / 0pr / 0i 2 2c / 0pr / 0i
BaDaaS/awesome-zcash - - 2 2c / 0pr / 0i 2 2c / 0pr / 0i
dannywillems/o1vm-test - - 2 2c / 0pr / 0i 2 2c / 0pr / 0i
ShieldedLabs/crosslink_monolith - - 2 0c / 2pr / 0i 2 0c / 2pr / 0i
henryiii/check-sdist - - 2 0c / 1pr / 1i 2 0c / 1pr / 1i
dannywillems/zcash-dca-bot - - - 2 2c / 0pr / 0i
zingolabs/zaino - - - 2 1c / 1pr / 0i
dannywillems/binius - - - 2 0c / 2pr / 0i
BaDaaS/primavera - 1 1c / 0pr / 0i 1 1c / 0pr / 0i 1 1c / 0pr / 0i
dannywillems/dannywillems - - 1 1c / 0pr / 0i 1 1c / 0pr / 0i
dannywillems/crosslink_monolith - - 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
o1-labs/mdbook-linkcheck - - - 1 0c / 1pr / 0i
dannywillems/zaino - - - 1 0c / 1pr / 0i
IrreducibleOSS/binius - - - 1 0c / 1pr / 0i
tevador/RandomX - - - 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.