riaqn
Follow
Fangyi Zhou
fangyi-zhou
Software Engineer | Programming Language Researcher
en.pronouns.page/she&they
@facebook London, UK
BIGTREETECH
bigtreetech
Official BIGTREETECH GitHub. Fashion leader of 3D printer mainboard.
Shenzhen BIQU Technology Co. ,Ltd. Shenzhen, China
Peter Cai
PeterCxy
Software Engineer @superfly. Most of my personal projects are now migrated to https://gitea.angry.im/. Mirrors of them are still available on GitHub.
@superfly Ontario
Adam Chlipala
achlipala
Researcher in tools and platforms to help do niftier things with software and hardware
MIT Cambridge, MA
Frederik Hanghøj Iversen
fredefox
Languages, functional programming, type theory and logic.
Penneo Copenhagen, Denmark
Mario Carneiro
digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.
Chalmers University of Technology Gothenburg, Sweden
Fengyun Liu
liufengyun
Programmer interested in programming languages and formal methods
Lausanne, Switzerland
Daniel Patterson
dbp
teaching faculty at Northeastern University. formerly PhD student @nuprl, member/owner at @positiondev.
Northeastern University Boston, MA
PreviousNext