Skip to content
View mlhaufe's full-sized avatar
6 followers · 14 following

Achievements

Achievement: Pair Extraordinairex2Achievement: StarstruckAchievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Pair Extraordinairex2Achievement: StarstruckAchievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLO

Block or report mlhaufe

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
@paul-snively
Paul Snively paul-snively
Pure FP software architect, so far in Scala, learning Haskell. Also dabbling in OCaml for many years and Coq for some fraction of that.

Asheville, NC

@FormalRequirements
FormalRequirements FormalRequirements
Innopolis/Toulouse/SiT collaboration on Formal Requirements
@ge1doot
ge1doot
@arnowelzel
Arno Welzel arnowelzel

Berlin, Germany

@Bertrand-Meyer
Bertrand Meyer Bertrand-Meyer

Eiffel Software

@simonpj
Simon Peyton Jones simonpj

Epic Games

@DustinEwers
Dustin Ewers DustinEwers
I'm a Software Developer/Architect consultant hailing from southern Wisconsin.

Wisconsin

@david-mark
David Mark david-mark

David Mark LLC West Chester, OH

@scottschiller
Scott Schiller scottschiller

Canada

@jseidelin
Jacob Seidelin jseidelin

Nihilogic Copenhagen, Denmark

@gildas-lormeau
Gildas gildas-lormeau
Founder of SEO4Ajax - Rennes, France

Capsule Code Rennes, France

@DmitrySoshnikov
Dmitry Soshnikov DmitrySoshnikov
@abozhilov
Asen Bozhilov abozhilov
@paulplakut
paulplakut