matt
mmlind
AI, NLP, cloud, parallel computing, distributed systems. Contact me if you have an interesting project, contract work, or job where I can contribute.
Frankfurt, Germany
Kilian Koeltzsch
kiliankoe
Public transport and instant messaging are my jam. Playing with robots @wandelbotsgmbh. he/him
Wandelbots GmbH Dresden, Germany
Tony Zorman
slotThe
Mathematics PhD student, Haskell and Emacs devotee, @xmonad maintainer. I like free software.
More personal projects at gitlab.com/slotThe
Mario Carneiro
digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.
Chalmers University of Technology Gothenburg, Sweden
Tamele
Tamele96
Electronical Engineering Student from Austria, Vienna, with primary interest in coding.
St. Petersburg
Joomy Korkut
joom
Formal verification and programming languages researcher.
@Bloomberg New York City
Ömer Sinan Ağacan
osa1
Google
I like programming languages and compilers. Working on @dart-lang at @google.
Peter Schüller
peschue
Fascinated by logic programming, natural language, and space travel.
TU Wien & Self-Employed Austria
Lucie-Aimée Kaffee
luciekaffee
Applied Policy Researcher at Hugging Face; everywhere as @frimelle
Hugging Face
alexl4123
A student of the Vienna University of Technology.
Alexander Beiser
Vienna university of technology Austria
Wilfred Hughes
Wilfred
PL enthusiast, Emacs addict, and an advocate for human factors.
Bay Area, USA
Richard McElreath
rmcelreath
Max Planck Institute for Evolutionary Anthropology Leipzig, Germany
Narazaki, Shuji
shnarazk
Ph.D. of Eng., SAT solver🧑🏻🔬, 🎄Advent of Code: 4️⃣5️⃣0️⃣⭐️⭐️. 🩷Helix/Lean4/Nixpkgs/Rust and Modified Engram ⌨️layout on Corne/Ferris.
a part-time tutor / coder Japan, Asia
Patrik Schneider
patrik999
Research Scientist at Siemens T, Germany and TU Wien with focus on Knowledge Graphs / Semantic Web / Stream Reasoning.
Siemens AG and TU Wien Munich
Simon Vandevelde
Salt-Factory
Jack of all trades, master of none.
I'm not active on GitHub, more on GitLab.
Guy Van den Broeck
guyvdbroeck
I am an Associate Professor and Samueli Fellow at UCLA, in the Computer Science Department, working on Machine Learning and Artificial Intelligence.
UCLA Los Angeles
PreviousNext