Fengyun Liu
liufengyun
Programmer interested in programming languages and formal methods
Lausanne, Switzerland
Guannan Wei
Kraks
Assistant professor at Tufts; programming languages, formal methods, compilers
Tufts University
kokic
kokic
๐๐๐๐๐ ๐๐๐ ๐๐ ๐๐๐๐๐
@San-Angeles @the-red-pixel Beijing, China
Chuigda Whitegive
chuigda
Unique โ Icy: Basic attacks slow the target on-hit by (Melee role 40% / Ranged role 20%) for 1.5 seconds, refreshing with every hit
Doki Doki 7th Design Club! /dev/null
Zhang
Naville
SMT / SAT, Math, Compiler & Kernel Infrastructure.
miHoYo / HoYoverse / COGNOSPHERE lib/Analysis
penguin_wwy
penguin-wwy
Compiler; Static Analysis; Love Kotlin;
Rust is the best great program :)
Shanghai
Anton Ping
AntonPing
An undergraduate at Moscow State University. Write Rust and Haskell most of the time.
Moscow State University Moscow