uli :3
ulipink
i do not use github as my primary git host anymore
https://codeberg.org/ulipink
Heyang Li
Wanshuiquan
1975年的夏天过去了，我很怀念它。
如果明天是最后一天，你会去做什么
VEB Waggonbau Görlitz Wernoigrode, Landkreis Harz
Catalin Hritcu
catalin-hritcu
Tenured Faculty at MPI-SP
Max Planck Institute for Security and Privacy (MPI-SP) Bochum, Germany
Johannes Schöneberger
JoeJoeTV
CS Student @ Saarland University,
Hobby Programmer,
Breaker of Code
Germany
Moritz Ruth
moritzruth
My own projects can be found at the link below. This account only holds legacy projects.
Europe
Jianlin Li
ljlin
I work with turnstiles. ⊢ ⊨ ⊤⊥ ∀ ∃ λ →
UWaterloo / ISCAS / UdS Waterloo / Beijing / Saarbrücken