-
Galois, Inc.
- Portland, OR
Highlights
- Pro
yukon
zhouxinyu
Cofounder & CTO of @AutoMQ, Apache Member, RocketMQ co-creator. We are hiring, connect me with WeChat: zhou-xiny
@automq Hangzhou China
Chris Mountford
christo
Follows you
fp, pl, ml, creative code, modular synthesis, retrocoding, blockchain Sydney, Australia
Markow Eduard
MarkowEduard
I'm a programmer since 1980.
I like the programming languages in the Pascal tradition, object orientation and components: Pascal, Modula, Oberon, Eiffel.
InfoPuls Switzerland
Orestis Melkonian
omelkonian
PhD @ University of Edinburgh
Formal Methods @input-output-hk
Interests: Programming Languages, Functional Programming, Type Theory, Formal Verification
University of Edinburgh Kirkwall, Orkney, Scotland
Uday Kiran
udaycruise2903
Python,Haskell/any language. Interested in project colloborations, reach out to me.
Bengaluru
Grigory Shepelev
shegeley
clojure(+script) developer, enthusiast of functional programming, lisps and reproducible builds
Russia, Belgorod
Benoit Giannangeli
giann
Web architect at @boursorama, Lua and Zig enthusiast, working on a small programming language called buzz
Boursorama Metz, France
Rodrigo Mesquita
alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else
Well-Typed LLP @ GHC Team Portugal
PreviousNext