🔮
λ
Rust • Scala • Haskell — Formal Methods • FP • Type Theory • Distributed Systems
- Lausanne, Switzerland
- https://romac.me
- @romac@hachyderm.io
- @romac.me
Highlights
RJ
VrtxOmega
Local-first agent systems · MCP · verification gates · Linux/Android · upstream-ready OSS fixes
Illinois
Matthias Lüneberg
matsluni
Software enthusiast working on JVM systems mostly connected to the Internet.
Freelancer Berlin
Corey Leath
Trojan3877
Hi, I’m Corey Leath, AI / ML & Software Developer focused on Python, data-driven systems, and applied machine learning. I build real projects end-to-end.
Garfield Heights Ohio
Emily 💞
emilycodestar
I commit on the first date. 🚩 My code is cleaner than your browser history. Check my repos if you think you can handle a merge conflict with me. 💅🐍
igor@konnov.phd
konnov
Independent Researcher in Formal Verification and Security, with degrees and experience in academia and industry
konnov.phd Vienna, Austria
metaver5o.eth
metaver5o
BITCOIN PROTOCOL / WEB3 BACKEND CRYPTOGRAPHY / AI AGENTS
C R I P T O G R A F I A
lichuang
lichuang
"When you don’t create things, you become defined by your tastes rather than ability. your tastes only narrow & exclude people. so create."
Guangzhou
Muhammad Mujtaba
MuhammadMujtabaa
HTML || CSS || JavaScript || jQuery || React || React Native || Next JS || Vue JS || Frontend Developer || Express JS || Firebase || SupaBase
github.com/MuhammadMujtabaa Earth
Maros Orsak
see-quick
Since 2016, i have been actively in the IT field. Ambitious programmer, who likes programming and exploring new stuff. Strimzi maintainer.
PreviousNext