TLA+
matthiasg
matthiasg
Developing since 1985. Lead Developer at curasystems GmbH. My first love was C, but doing mostly Typescript/Rust lately. Architect of aeppic.
curasystems GmbH Germany, BW
Hengfeng Wei (魏恒峰)
hengxin
I am currently a Research Assistant at Software Institute at Nanjing University, China.
Nanjing University (南京大学) Nanjing University
Curly-Howard-Chungus Correspondence | Lamport-Cabot-Codd-Backus-Naur Form
ichxorya
WannabeResearcher-ExPartTimeMusicProducer. Currently interested in PLT, MDSE, and symbolic computation. BOINC cruncher (UET-VNU-2022).
@vnu-frsl @vnu-sme @SEhumantics Ichvers, Esteh, Enurbahnhof, Azeroy
Anil Dewani
anil-dewani
Living in admirations and inspirations that revolve around my passions!
Settuba
i-walker
小洞不补，大洞吃苦。
-- If small holes aren't fixed, then big holes will bring hardship.
Sr.Software Engineer & Physics Eng. Student.
▒ 0xC0000000
PreviousNext