Skip to content
View gruhn's full-sized avatar
86 followers · 41 following

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruckx3

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruckx3

Organizations

@DeepLcom

Block or report gruhn

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 250 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
@fjosw
Fabian Joswig fjosw
Research at DeepL. Maintainer of pyerrors and autograd.

DeepL

@bugarela
Gabriela Moreira bugarela
Research Engineer at @informalsystems working on Quint

@informalsystems Joinville, SC - Brazil

@FormalizedFormalLogic
FormalizedFormalLogic
Formalize Formal Logic in Lean4
@VictorTaelin
Victor Taelin VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.

Higher Order Company Rio de Janeiro, Brazil

@sudgy
sudgy
@lexi-lambda
Alexis King lexi-lambda

Chicago, IL

@BossBabyOfficial
Boss Baby BossBabyOfficial

Baby Corp

@llaakkkk
Olena Kirichok llaakkkk
Backend Developer
@rasmus-kirk
Rasmus Kirk rasmus-kirk

Concordium Aarhus, Denmark

@well-typed
Well-Typed LLP well-typed
The Haskell Consultants
@jmct
Jose Calderon jmct
Executive Director of the Haskell Foundation

Haskell Foundation

@ffrohn
ffrohn
@jamesnvc
James Cash jamesnvc

Bloom Ventures Toronto

@Gabriella439
gabby Gabriella439

@MercuryTechnologies San Jose, CA

@simonpj
Simon Peyton Jones simonpj

Epic Games

@mberr
Max Berrendorf mberr

DeepL SE Cologne, Germany

@chandnipatelTW
chandnipatelTW
@lenzls
Simon Lenz lenzls

Germany

@Schweinepriester
Kai Schweinepriester
I like the web

Internet

@DeeJayTC
Tim Cadenbach DeeJayTC
Microsoft MVP, Developer and tech nerd at heart working for Deepl in Germany. Loving open-source and Adaptive Cards.

@DeepLcom Germany, Bochum

@maowerner
Markus Werner maowerner
Kubernetes knows

Cologne

@luke-codewalker
Lukas Eschstruth luke-codewalker
student of psychology and human factors turned programmer

Cologne

@kebot
Keith Yao kebot
homelabber, ex: @douban @civey

@DeepLcom Berlin

@reusing-code
Tobias Reusing reusing-code
@owickstrom
Oskar Wickström owickstrom
Software design, testing, functional programming.

Independent Sweden

@kindaro
Ignat Insarov kindaro
@ekmett
Edward Kmett ekmett
I write a lot of Haskell.

Positron AI Farmington Hills, MI

@michaelpj
Michael Peyton Jones michaelpj

CircuitHub London

@ChrisPenner
Chris Penner ChrisPenner
Writing software to improve the experience of writing software. Author of Optics By Example

Unison Computing Victoria BC, CA

@codyroux
codyroux
@jacobneu
Jacob Neumann jacobneu
Postdoc at Reykjavik University, studying category theory and semantics of type theory Formerly at University of Nottingham, Carnegie Mellon University

Reykjavik, Iceland

@triska
Markus Triska triska
https://www.metalevel.at/t

Vienna

@marverati
marverati
@bartekmotyl
Bartek Motyl bartekmotyl

DeepL

@phihos
Philipp Hossner phihos

Cologne, Germany

@mikeshulman
Mike Shulman mikeshulman

University of San Diego San Diego, CA

@etangreal
Ernst Salzmann etangreal
ernst.salzmann(at)gmail.com

Berlin

@evancz
Evan Czaplicki evancz
Designer/developer of @elm
@sdiehl
Stephen Diehl sdiehl
I build software.

London

@Clex1o1
Clex1o1 Clex1o1

Germany

@mruettgers
Michael Rüttgers mruettgers

Aachen