Highlights
- Pro
Satnam Singh
satnam6502
Functional programming, hardware design and formal specification and verification.
Los Altos, California, United States
Tilde Rose
t1lde
- Haskell
- Functional Programming
- Programming Languages
- p2p
- Free Software
Glasgow
Darshak Parikh
dar5hak
Web dev • @elementary OS app dev • JS, Vala, GTK
@elfenware @CoffeeBeansLabs India
Xiaobin Wang
wxb9585
graduate from the University of Edinburgh, now working in China
University of Edinburgh
Theo X. Olausson
theoxo
CS PhD student @ MIT: ML, AI, & PL.
Univ of Edinburgh '21 (MInf).
Massachusetts Institute of Technology Cambridge, MA, USA