edwinb
Edwin Brady
Computer Science Lecturer, FP/Type Theory researcher, Idris implementer
St Andrews, Scotland, UK
Followers (79)
|
ska80 Kamil Shakirov |
|
IAmHardliner Steve Biedermann |
|
justanotherdot Ryan James Spencer |
|
holsee Steven Holdsworth |
|
roundcrisis roundcrisis |
|
mgttlinger Merlin Göttlinger |
|
vascorsd Vasco Dias |
|
xldenis Xavier Denis |
|
brendanzab Brendan Zabarauskas |
|
davidad David Allen Dalrymple |
Browse others (15)
|
BretFisher Bret Fisher |
|
uberspace uberspace.de |
|
mairin Máirín Duffy |
|
1password Code signing for 1Password |
|
emax electronic Max (Max Van Kleek) |
|
davewongillies Dave Wongillies |
|
dgenr8 Tom Harding |
|
coaxmetal Derek Leverenz |
|
austinhuang Austin Huang |
|
rust Rust Language |
|
adam_baldwin Adam Baldwin |
|
hrach Jan Škrášek |
|
jiffyclub Matt Davis |
|
cecileb Cécile Boucheron |
