Polyglot programmer with an interest in formal verification and programming language theory.
- Enschede, Netherlands
-
05:58
(UTC +01:00)
Martijn Bastiaan
martijnbastiaan
Compiler Engineer at QBayLogic B.V.
QBayLogic B.V. Enschede, Netherlands
Carlos G
carlosmiei
Software engineer with a
passion for everything related to
cybersecurity and
cryptocurrencies
Portugal
Anupam <|> अनुपम
ajnsit
★ फलंकारी (Functional) प्रोग्रामर
★ Creator of the Concur UI framework. Founder FPIndia.
★ Haskell, Purescript, Rust, JS Fintech. Data Analytics.
India
Alberto Centelles
Acentelles
Constantly looking for the pleasure of finding things out. Algebraic number theory and cryptography.
London
Ian Channing
ianchanning
Lead software developer for stats, engineering and ai startups
@charphq Lier, Belgium
KevinHock
0.01x Engineer. The (Myspace) Tom of GitHub. 11% of pre-tax income to effective altruism charities.
@grammarly (Formerly @pinterest, @Yelp) I love San Francisco
xd009642
Software engineer interested in Rust, computer vision and machine intelligence.
He/Him.