Gabriel Dos Reis
GabrielDosReis
A mathematician interested in all aspects of software construction, with bias towards computational logic, formal methods, and the fun of building useful tools
Greater Seattle Area
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
Matteo De Carlo
portaloffreedom
Space Nerd. Coding Ninja. Evolutionary Robotics student. Game Programmer.
Vrije Universiteit Amsterdam Amsterdam
Patrick Allen
Tokap
Coding is alchemy. Thoughts turn into lines of code. Lines of code grow into full applications. In this light, I find myself passionate about trying new things.
Las Vegas
LLVM
llvm
This is the LLVM organization on GitHub for the LLVM Project: a collection of modular and reusable compiler and toolchain technologies.
Pascal Thomet
pthom
Entrepreneur, consultant & open source developer (hello_imgui, imgui_bundle, litgen). Also interested in AI and AI ethics
Paris
Jonathan Müller
foonathan
C++, compilers, and programming languages. Library developer @think-cell, chair for std::ranges @cplusplus.
@think-cell Aachen, Germany
Shreyans
shreyans800755
Programming enthusiast, C++ developer by profession, contributed to Boost.hana, coala mainly.
Flow Traders Amsterdam
Gašper Ažman
atomgalaxy
C++, Computer Vision, Sound processing, and Legacy Code Wrangler.
Citadel London, England
PreviousNext