Haskell / Nix / Build Systems / DevEx. Theoretical physicist, experimental mathematician, or something in between. Strangely attracted by old codebases.
- Perth, Australia
-
04:15
(UTC +08:00) - https://www.andreabedini.com
- https://orcid.org/0000-0003-4881-1606
Highlights
- Pro
Monesh Venkul Vommi
moneshvenkul
🚀 Senior Full Stack Developer | Vue.js 🎨 React ⚛️ Angular 🅰️ Node.js 🌐 Python 🐍 Django | Java Spring Boot ☕ TypeScript 📜 SQL & NoSQL 💾 | Microservices
Capital One New Haven, Connecticut
Nho Luong
nholuongut
💁 🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳
- Vietnam DevOps Engineer
Lead
- Vietnam Timeless Charm
- Enjoy Every Moment
DevOps and Platform Services Lead From Ho Chi Minh City, Viet Nam
Pavlo Bondarenko
OfficialCodeVoyage
Product Manager / Software Engineer / Cloud Engineer / IT Enthusiast
Denver, CO
Guillaume Claret
clarus
Security researcher at @formal-land 🌲 for Web3 applications
Applying the 🐓 proof system to find all the vulnerabilities.
🐻❄️
Formal Land Paris
Maadhav Kothari
MaadhavKothari
Multi-disciplinary scientist with expertise in data science, MatSci, and software development.
UK
Bruno Dias
diasbruno
(and ☕ 🛹 🎾 🎼 λ) == Coffee & Skateboard & Tennis & Music & "FP". Working with Common Lisp, Haskell, Javascript/Typescript, Go, Python, Ruby...
Brazil
Rodrigo Mesquita
alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else
Well-Typed LLP @ GHC Team Portugal
Harry Pray IV
harryprayiv
Haskell, Nix, Plutus, Purescript;
functional programming enthusiast
Cambridge, MA
Connor Baker
ConnorBaker
Nix Engineer and Nix CUDA Maintainer. Interested in formal methods, Haskell, Lean, type & category theory, and computational photography!
Costa Mesa, CA
Uday Kiran
udaycruise2903
Python,Haskell/any language. Interested in project colloborations, reach out to me.
Bengaluru
Aman Singh
amnksngh
KNIME Dev | FastAPI | Data Engineering + Data Science
@PowerSchool Bangalore, India
PreviousNext