Y11
XiaomingX
Software Dev @ X | Linux, Java, Spring, Python, Golang, Next.js | Open Source Enthusiast | LLM Innovator | M.Sc. in Software Engineering 🚀
Jobleap.cn Japan
David Deng
PROgram52bc
Ph.D. Candidate in Computer Science at Purdue University. I design and prove safety properties about novel programming languages and type systems.
Purdue University West Lafayette, IN
Raed
rfm0905
Mainly FP & Rust. TypeScript/React and Python (o7 typing.Never) when convenient.
Math & Chem @ CWRU
Jonathan D.A. Jewell
hyperpolymath
NUJ NEC | Open University | Formal Verification, Language Design, Dependable.& Distributed Safety-Critical Systems | Available for collaborations.
The Open University & National Union of Journalists London, United Kingdom
Soumya Ranjan Behera
soumyargithub
Tech enthusiast | Curious learner
Passionate about technology, coding, and how digital platforms work. Exploring, learning, & growing every day.
Bengaluru, India
mocenigo
mocenigo
Father, Composer, Mathematician, Cryptologist. Former architect at ARM. Designed QARMA. Chaotic good. Notorious craic killer.
Munich, Bavaria, Germany
Ben Andrew
benmandrew
PhD Researcher //
Ex-Software Engineer
University of Manchester United Kingdom
Aaron Gray
AaronNGray
Independent Open Source Software Engineer, Computer Language Researcher, Information Theorist, and amateur computer scientist.
Harry Pray IV
harryprayiv
Haskell, Nix, Plutus, Purescript;
functional programming enthusiast
Cambridge, MA
PreviousNext