kozross
Follow
Sparsa
Sparsa
Ph.D. IIT Bombay || Formal Verification Engineer, Intel
Sparsa Roychowdhury Bengaluru, India
Luc Tielen
luc-tielen
Interested in functional programming, compilers and logic.
Mainly working on Eclair, a high performance Datalog that compiles to LLVM.
Lambda Tech Belgium
Clayton Kehoe
kehoecj
Software Engineer @Boeing | Maintainer of https://github.com/Boeing/config-file-validator | DevSecOps | Go | Python | 🚀 City Alabama
@Boeing Huntsville, AL
zypeh
zypeh
Modern Software Engineer.
Classical Writer.
Living in this Post-Renaissance era.
Kuala Lumpur, Malaysia
Lilli Weitzer
lillitaz
NetworkAnalyses | emancipatory projects | knowledge sharing | WebHistory
Vienna, AUT
Daneel Cayce
daneelcayce
Hi. I'm Daneel. I write stories, music, and the occasional shell script. In userspace, I yell at servers for a living.
Michigan, USA
方泓睿
chfanghr
FP protagonist. You can also call me Connor :)
@mlabs-haskell @Liqwid-Labs Crazy Universe
Dan Dart
danwdart
"The Mad Hacker", develops in Haskell for Servant and Reflex with GHCJS personally, and TS/JS for React Native, React and Node.js for work.
@JolHarg Exmouth, Devon, England
ASISBusines's
ASISBusiness
Comprehensive Advice and Services to management successfully Business
ASISBussiness New York
Michał Adamczyk
adamczykm
Doing Haskell / Purescript / ZKPs for a less centralized future.
Europe / Poland
PreviousNext