Guillaume Claret
clarus
Formally verifying web3 applications with the Coq proof system. Working at @formal-land 🌲
Formal Land Paris
Cainã Costa
cfcosta
A software engineer from Brazil. I like Rust, Nix and Distributed Systems.
São Paulo, Brazil
MuhammadMujtabaa
jQuery || React || React Native || Vue JS || Front end Web App Developer
github.com/MuhammadMujtabaa Pakistan
Liberty.Chris.
Liberty-Chris
Chris Hockaday
DripDropz
Adosia
Tokhun
TR
DripDropz / Adosia / Tokhun Indianapolis, IN
Harry Pray IV
harryprayiv
Haskell, Nix, Plutus, Purescript;
functional programming enthusiast
Cambridge, MA
Nicolas Marshall
nmrshll
🦀 Rust & blockchain dev -
Blockchain infra, smart contracts, DeFi, identity & auth, APIs, key mgmt, distributed systems
@Unbox-infinity UK
Ethan Flower-01100101 01110100 01101000 01100001 01101110
ethanflower1903
Dev-Sec-Ops- Engineer
san francisco
Cem Karaca
ckaraca
Founder @VeriTeknik
#justalittlefish
@littlefish-foundation
E&E Eng. MS.
I believe that the journey matters more than the destination.
littlefish Foundation İzmir - Turkey
Jerry Tan
jerrytanjunjie888
Senior Staff Engineer | We are hiring in Beijing, Shanghai&Sillicon Valley(Golang, Java, Middleware, Service Mesh, Serverless)
Top Programmers Club USA
Ole
vapourismo
Love static typing, functional programming and solving big problems by typing things into a computer.
London
PreviousNext