Users following CakeML
Rafael Escrich
rafaelescrich
Blockchain Engineer, Cryptography enthusiast and studied Information Systems @ Universidade Federal de Santa Catarina in Florianópolis, Brasil
@dfb-chain Florianópolis
Matéo H. Petel
fraware
Curiosity.
________________________________________________________________________________________
Stanford | NASA JPL | Oxford | ENS
Stanford
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Vegard Fjellbo
Fencekeeper
Mathematician (topologist) working as a Senior Consultant at the Insight & Analytics Dept of Webstep. Based in Oslo.
Webstep Norway
Dirk Arnez
dirkarnez
Freelance Software Engineer | Composer | Mixer | Multi-instrumentalist
Freelance Hong Kong
Eric Patrizio
epatrizio
R&D software engineer. Programming languages design enthusiast.
Paris - France