polytypic
Follow
Erik Martin-Dorel
erikmd
Maître de Conférences en Informatique (IRIT/UT3)
Lab. IRIT, Univ. Toulouse 3 Paul Sabatier Toulouse, France
Lewis
lu1a
Python, zig, C. Interested in statistics, networking, and embedded systems (in that order).
@UpCloudLtd Helsinki
Rana Ameer Hamza
haazaa
With 5 years of experience in the MERN/MEAN stack, AWS EC2, DevOps, and Python, I specialize in building robust applications and architecting scalable, efficien
@falconitconsultant Johar town, Lahore
Guillaume Claret
clarus
Formally verifying web3 applications with the Coq proof system. Working at @formal-land 🌲
Formal Land Paris
Arthur Monici
tujmon
Cgee - Estagiário em desenvolvimento web
Instituto Federal de Brasília - Ciência da computação
CGEE Brasília
Simon Cruanes
c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.
Imandra (@imandra-ai) washington DC
Deepali Ande
deepali2806
MS (by research) CSE @ IIT Madras
Indian Institute of Technology, Madras Pune, India
PreviousNext