Danny Willems -- Work In Progress

A mathematician fighting for privacy and security on the Internet, while dreaming about describing the Universe with equations and symbols.

Resume (PDF) Contributions Research Publications Public Talks Open source software contributions Experience Education Blog Recommended softwares

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-01-11 06:11 UTC

Summary

This Week

340 total
206 commits
59 PRs
65 issues
10 reviews

This Month

1254 total
727 commits
176 PRs
321 issues
30 reviews

This Quarter

1867 total
1040 commits
267 PRs
482 issues
78 reviews

This Year

6210 total
4014 commits
1127 PRs
667 issues
402 reviews

By Repository

Repository Week Month Quarter Year
o1-labs/mina-rust 42 9c / 3pr / 25i 192 55c / 14pr / 107i 677 294c / 73pr / 263i 1732 1006c / 253pr / 383i
MinaProtocol/mina 18 8c / 8pr / 1i 25 13c / 9pr / 1i 62 27c / 28pr / 1i 1388 895c / 358pr / 7i
o1-labs/proof-systems 40 31c / 4pr / 1i 161 112c / 41pr / 1i 205 141c / 50pr / 1i 1263 889c / 226pr / 44i
LeakIX/zcash-web-wallet 27 12c / 6pr / 9i 500 301c / 59pr / 139i 500 301c / 59pr / 139i 500 301c / 59pr / 139i
o1-labs/o1js 1 0c / 1pr / 0i 1 0c / 1pr / 0i 1 0c / 1pr / 0i 216 138c / 57pr / 6i
dannywillems/dannywillems.github.io 175 116c / 35pr / 24i 175 116c / 35pr / 24i 176 117c / 35pr / 24i 186 127c / 35pr / 24i
o1-labs/snarky 9 7c / 2pr / 0i 9 7c / 2pr / 0i 9 7c / 2pr / 0i 123 82c / 20pr / 1i
o1-labs/ocaml-gen - 18 14c / 4pr / 0i 21 16c / 4pr / 0i 89 65c / 22pr / 0i
o1-labs/o1js-bindings - - - 79 53c / 21pr / 0i
LeakIX/blog - 6 6c / 0pr / 0i 13 13c / 0pr / 0i 56 48c / 8pr / 0i
dannywillems/operating-system - 51 31c / 0pr / 20i 51 31c / 0pr / 20i 51 31c / 0pr / 20i
LeakIX/hugo-leakix-dark - 6 2c / 0pr / 2i 8 2c / 0pr / 2i 44 30c / 2pr / 2i
o1-labs/redux-rs - - - 33 29c / 4pr / 0i
LeakIX/zcash-infra - 31 14c / 6pr / 11i 31 14c / 6pr / 11i 31 14c / 6pr / 11i
LeakIX/l9format-python - - - 30 25c / 5pr / 0i
LeakIX/sponsor 28 23c / 0pr / 5i 28 23c / 0pr / 5i 28 23c / 0pr / 5i 28 23c / 0pr / 5i
o1-labs/integers_stubs_js - - - 25 24c / 1pr / 0i
MinaProtocol/kimchi-stubs-vendors - - - 23 14c / 7pr / 0i
LeakIX/DocSite - 8 5c / 1pr / 0i 10 6c / 1pr / 0i 21 16c / 2pr / 0i
dannywillems/vdf.rs - - - 21 21c / 0pr / 0i
BaDaaS/puzzle - - - 21 21c / 0pr / 0i
LeakIX/html-builder - 19 16c / 0pr / 3i 19 16c / 0pr / 3i 19 16c / 0pr / 3i
dannywillems/r2p2 - - - 18 18c / 0pr / 0i
MinaProtocol/docs2 - - 2 2c / 0pr / 0i 17 10c / 1pr / 0i
o1-labs/seeds - - 3 0c / 1pr / 0i 16 0c / 2pr / 2i
o1-labs/opam-repository - - 1 0c / 1pr / 0i 13 6c / 5pr / 0i
MinaProtocol/c-reference-signer - 12 9c / 3pr / 0i 12 9c / 3pr / 0i 12 9c / 3pr / 0i
dannywillems/one-liners - - - 12 12c / 0pr / 0i
dannywillems/ocaml-dune-format - - - 11 11c / 0pr / 0i
dannywillems/resize-logo - - - 11 11c / 0pr / 0i
BaDaaS/web-learning - - - 10 10c / 0pr / 0i
dannywillems/social-hubs - - - 10 7c / 0pr / 3i
dannywillems/bitcoin-rs - - 9 9c / 0pr / 0i 9 9c / 0pr / 0i
dannywillems/play-with-asyncio - - - 9 9c / 0pr / 0i
dannywillems/andOTP - - - 9 0c / 9pr / 0i
LeakIX/stripe-accounting - - - 8 8c / 0pr / 0i
o1-labs/orocksdb - - - 7 0c / 7pr / 0i
dannywillems/mina-web-wallet - 6 2c / 0pr / 4i 6 2c / 0pr / 4i 6 2c / 0pr / 4i
o1-labs/circuit-blobs - - - 6 5c / 1pr / 0i
o1-labs/community-grants - 1 0c / 0pr / 1i 5 0c / 0pr / 5i 5 0c / 0pr / 5i
dannywillems/rust-async-await-course-example - - 5 4c / 0pr / 0i 5 4c / 0pr / 0i
o1-labs/mina-network-debugger - 1 1c / 0pr / 0i 4 3c / 1pr / 0i 4 3c / 1pr / 0i
dannywillems/planning-public - 3 0c / 0pr / 3i 3 0c / 0pr / 3i 3 0c / 0pr / 3i
dannywillems/play-with-o1js - - - 3 3c / 0pr / 0i
dannywillems/zcash-dca-bot - - 2 2c / 0pr / 0i 2 2c / 0pr / 0i
BaDaaS/badaas.github.io - - - 2 2c / 0pr / 0i
zingolabs/zaino - - - 2 1c / 1pr / 0i
o1-labs/proof-systems-vendors - - - 2 0c / 2pr / 0i
dannywillems/binius - - - 2 0c / 2pr / 0i
dannywillems/ledger-mina - 1 0c / 1pr / 0i 1 0c / 1pr / 0i 1 0c / 1pr / 0i
dannywillems/cargo-example-async-await - - 1 1c / 0pr / 0i 1 1c / 0pr / 0i
tevador/RandomX - - 1 0c / 1pr / 0i 1 0c / 1pr / 0i
Raspberry-Devs/mina-multi-sig - - 1 0c / 0pr / 1i 1 0c / 0pr / 1i
dannywillems/steg-xai - - - 1 1c / 0pr / 0i
BaDaaS/scripts - - - 1 1c / 0pr / 0i
dannywillems/abitrusty - - - 1 1c / 0pr / 0i
IrreducibleOSS/binius - - - 1 0c / 1pr / 0i
dannywillems/zaino - - - 1 0c / 1pr / 0i
o1-labs/mdbook-linkcheck - - - 1 0c / 1pr / 0i
mirage/alcotest - - - 1 0c / 1pr / 0i
o1-labs/zkapp-cli - - - 1 0c / 1pr / 0i
rust-lang/rust - - - 1 0c / 0pr / 1i
ocaml/setup-ocaml - - - 1 0c / 0pr / 1i
ChaosChain/chaoschain-launchpad - - - 1 0c / 0pr / 1i
zksecurity/mina-attestations - - - 1 0c / 0pr / 1i
o1-labs/submission-updater - - - 1 0c / 0pr / 0i

Data sourced from GitHub via GraphQL API. Updated daily.