Skip to content
View robertkleffner's full-sized avatar
🥤
🥤
81 followers · 69 following

Achievements

Achievement: Pull Sharkx3Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Achievements

Achievement: Pull Sharkx3Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Block or report robertkleffner

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@Storyyeller
Robert Grosse Storyyeller

@drchrono

@tdsrllc
TDSR UWB tdsrllc
Development software and tools for TDSR Ultra Wideband Rsdios and Radars

United States of America

@senterreinhardt
Senter senterreinhardt

TDSC LLC

@goccy
Masaaki Goshima goccy

@mercari Japan

@eliben
Eli Bendersky eliben

@google California

@kelloggm
Martin Kellogg kelloggm
Assistant Professor at the New Jersey Institute of Technology. I work on making software verification practical for developers.
@nikomatsakis
Niko Matsakis nikomatsakis

Boston, MA

@andrejbauer
Andrej Bauer andrejbauer
Professor of computational mathematics

University of Ljubljana Slovenia

@steshaw
Steven Shaw steshaw
Loves programming languages!

Brisbane, Australia

@kosmikus
Andres Löh kosmikus

Well-Typed LLP Regensburg

@achlipala
Adam Chlipala achlipala
Researcher in tools and platforms to help do niftier things with software and hardware

MIT Cambridge, MA

@daanx
Daan daanx

US

@sweirich
Stephanie Weirich sweirich
Wish I had more time to code. And by code, I mean prove things.

University of Pennsylvania Philadelphia

@rossberg
Andreas Rossberg rossberg
Programming Language Researcher, Designer and Engineer
@bcpierce00
Benjamin Pierce bcpierce00

University of Pennsylvania

@redblobgames
Amit Patel redblobgames
I make interactive visual explanations of math and algorithms, using motivating examples from computer games. I work both with educators and game developers.

Red Blob Games Silicon Valley CA & Seattle WA

@wadler
Philip Wadler wadler
Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK.

University of Edinburgh Edinburgh

@augustss
Lennart Augustsson augustss

Gothenburg, Sweden

@xavierleroy
Xavier Leroy xavierleroy
Professor of software sciences at Collège de France, Paris. Member of Inria research team Cambium. Interested in all scientific aspects of computer programming

Collège de France and Inria Paris, France

@graydon
Graydon Hoare graydon

Vancouver, BC

@RobertHarper
Robert Harper RobertHarper
I am a Professor in the Computer Science Department at Carnegie Mellon University, where I have been a member of faculty since 1988.

Carnegie Mellon University Pittsburgh PA

@andrewrk
Andrew Kelley andrewrk
Lead developer & president of Zig Software Foundation

@ziglang Portland, Oregon

@rntz
Michael Arntzenius rntz
@dmacqueen
David MacQueen dmacqueen
Works on programming language design, semantics, and implementation. Particularly modules and type systems and type checking, and the SML/NJ compiler.

University of Chicago Los Gatos, CA

@rfindler
Robby Findler rfindler
Professor of Computer Science at Northwestern and a core developer of @racket.

Northwestern University, PLT

@brendanzab
Brendan Zabarauskas brendanzab
I'm interested in how computers can extend human creativity, and how type systems can be used as tools for thought. 👨‍🎨👨‍💻👨‍🔬

@yeslogic Melbourne, Australia

@charmbracelet
Charm charmbracelet
We make the command line glamorous.

/dev/tty

@lumineye
lumineye
@glossopoeia
Glossopoeia glossopoeia

United States of America

@pigworker
Conor McBride pigworker

Glasgow

@danielhampikian
Daniel Hampikian danielhampikian
I'm a philosophical developer, trained in academic philosophy and software development, skilled in AI development and AR/VR

United States

@conal
Conal Elliott conal
Play/learn/work with me: https://github.com/conal/Collaboration

(open to employment) San Andreas, California, USA

@magnus-madsen
Magnus Madsen magnus-madsen
@brightly-salty
Caden Haustein brightly-salty
A student who spends most all of his free time doing open source software development, mainly in Haskell + Rust. Check out Mlatu!

United States

@SIMPalaxy
SIMPalaxy
@ViralBShah
Viral B. Shah ViralBShah
Co-creator of the Julia programming language. Co-founder and CEO of JuliaHub.

JuliaHub

@mfelleisen
Matthias Felleisen mfelleisen

PLT Boston

@spdegabrielle
Stephen De Gabrielle spdegabrielle
Healthcare systems specialist and integration developer. Currently Epro.com, previously LNWH NHS Trust. spdegabrielle+mod@gmail.com

Epro Ealing, UK

@elibarzilay
Eli Barzilay elibarzilay
Hacker, Racketeer.

PLT Scheme Boston, MA

@sulzmann
Martin Sulzmann sulzmann
Professor

Karlsruhe University of Applied Sciences Germany

@samth
Sam Tobin-Hochstadt samth
I'm an associate professor at Indiana University, and a core developer of @racket.

PLT @ Indiana University Bloomington, IN

@Jordanwvn
Jordan Van Ness Jordanwvn
Software Developer

Foundry Interactive Seattle, WA

@jackfirth
Jacqueline Firth jackfirth

@google Sunnyvale, CA

@AndyWendt
Andy Wendt AndyWendt
Programmer & Ultra Runner

SportsRecruits Greater Salt Lake City, Utah

@gasche
Gabriel Scherer gasche
@jstrength
Jacob Strength jstrength
@hoffination
Ben Hofferber hoffination
Sometimes cool stuff is simple stuff

Founding Partner @HInt-Services Toronto

@bennn
Ben Greenman bennn
asst prof

University of Utah Salt Lake City

@MarisaKirisame
霧雨魔理沙 MarisaKirisame
Ordinary Magician

魔法の森, Gensokyo

@orangeduck
Daniel Holden orangeduck
Animation & Machine Learning at Epic Games. Writer / Programmer.

Montreal