🌩️
PhD student at the Software Modeling and Verification Group @ RWTH Aachen University
Highlights
- Pro
Earned achievements
Pair Extraordinaire
Pair Extraordinaire
Loading
Pull Shark
x2
Pull Shark
x2

Pull Shark
x2@AlexBork opened pull requests that have been merged.
History
Bronze unlocked
·
First unlocked
2022-07-28 12:40:53 UTC
randriu/storm#3 · 2nd pull request merged
AlexBork/homebrew-misc#1 · 16th pull request merged
Quickdraw
Quickdraw
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading