dianpopa
Follow
Guillaume Claret
clarus
Working at Formal Land to formally verify mainstream programs using the proof system Coq.
Formal Land Paris
Mohammad Mojtaba Roshani - mmRoshani (TOMaaR)
mmRoshani
I’m a fast learner and an enthusiastic software & data engineer. who loves challenges, the newest technologies, working with DBMSes, math and programming at all
Iran, Earth, Local Interstellar Cloud, Local Cavity, Orion–Cygnus Arm, Milky Way
Bhautik (HTTP 301 - @BhautikChudasama)
Bhautik0110
https://github.com/BhautikChudasama
Rajkot, India
Owen Lamont
owenlamont
I'm a developer/analyst with interests in data visualisation, machine learning, computer graphics, and Python
Floodmapp Adelaide, Australia
Steve Phillips
elimisteve
@RevolutionizeDev: Designing radically simple, safe, comprehensible software that works more like biology. Let's build a better stack. #RevolutionizeEverything
@RevolutionizeDev San Francisco, CA
LowLevelLover
LowLevelLover
A software engineer who love low level concepts when coding high level stuff.
Robinson Chaplain
x-N0
The real jam is to solve problems using technology, then refactor.
Learn and apply, that's what I do.
127.0.0.1
PreviousNext