nike--apollo
nikecodedev
Collaboration level unlocked: bringing ideas, laughs, and just enough caffeine to make magic happen. Let’s see what kind of masterpiece we create! 😄🤝
Ilya Baryshnikov
zlonast
Lover of formal specifications • Compiler developer • Linker enjoyer
Pavlo Bondarenko
OfficialCodeVoyage
Product Manager / Software Engineer / Cloud Engineer / IT Enthusiast
Denver, CO
Bipin
Bipinoli
"You don't have to see the whole staircase. Just take the first step."
Saarland University Germany
Dylan McNamee
dylanmc
@GaloisInc emeritus, periodic visiting prof @ReedCollege, student, interested in programming and hardware design
Portland, Oregon
agnosticlines
reverse engineering, program analysis and exploit dev |
i ⭐ a lot of things, not a bot. Just use github as a personal search engine for cool projects
[object Object] /dev/kmem
Ho Guo Xian
usagitoneko97
Python static analysis, AST, SMT. Working on Klara - python test case generator.
@AMD Singapore
Jeffrey Young
doyougnu
PhD in programming languages. Artificer. GHC developer and JS backend core developer. I write a lot of Haskell.
Renoir Fortytwo
zeta1999
ML, Crypto, Applied mathematics, Hardware optimization (experience at an FPGA company). Remoting is an option. Collector of interesting stuff.
Seoul
Madhukar Yerraguntla
mycroft92
Electrical engineer by profession, now also a part-time PhD student at IIT delhi.
Henry Blanchette
rybla
programming languages, formal verification, game dev, game theory
CS PhD student at UMD Washington, DC
PreviousNext