Skip to content
View Profpatsch's full-sized avatar
🌮
あ
🌮
あ
237 followers · 61 following

Achievements

Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: Starstruckx3Achievement: Pull Sharkx4Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Public Sponsor

Achievements

Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: Starstruckx3Achievement: Pull Sharkx4Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Public Sponsor

Organizations

@NixOS @openlab-aux @curry-club-aux @beetbox @lojbanistan @dhall-lang

Block or report Profpatsch

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
@HardikBm
Hm shepherd HardikBm

Gujarat. Ahmedabad. India

@hyfedora
hyfedora
@lm41
Lars Mühlbauer lm41
Studying at RWTH and maintainer of @florisboard

Aachen, Germany

@Stypox
Stypox Stypox
Interests: free & open-source software, Android, Linux, @TeamNewPipe, competitive programming, CTFs; Main languages: Kotlin, Rust, Java, C++, Python, OpenGL

@MindsHub Italy, European Union

@stevleibelt
Stev Leibelt stevleibelt

bazzline.net Observable Universe/Local Superclusters/Laniakea Supercluster/Local Galactic Group/Milky Way Galaxy/Solar Interstellar Neighborhood/Solar System/Earth/Europe/Germany/Saxony/

@bonsmatg
Bonsmat Group bonsmatg
We provide Asia's smartest application for Otomax Connection and for Otomax we provides Connector for all kind of Websites and Apps. We provide you fastest APPs

https://github.com/BonsmatBusinessSolutionIndiaPvtLtd/ Ludhiana

@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@KiaraGrouwstra
kiara KiaraGrouwstra

Utrecht, the Netherlands

@freddie-freeloader
Jonas Benn freddie-freeloader

Berlin

@AnshuRajbhar
Anshu Rajbhar AnshuRajbhar
I m a passionate learner ,developer and explorer.A student of IIT Madras
@Psyhackological
Konrad Konieczny Psyhackological
Linux System Admin by day, Rustacean and CS student by night. I love automation and tinkering with FOSS software.

RTB House Wrocław, Poland

@LinuxJS
Meow LinuxJS
I code.

@SAMSUNG Multiverse

@GoldenDragon0830
GoldenDragon GoldenDragon0830
You WILL when U Believe!

HighTech

@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@Connor9994
Connor Connor9994
@anka-213
Andreas Källberg anka-213

Sweden

@SebTM
Basti SebTM

Munich, Bavaria, Germany

@mightyiam
Shahar "Dawn" Or mightyiam
Author of the Full Time Nix podcast and The Molybdenum Software Show

Chiang Mai, Thailand

@yumetrait
yume yumetrait
Generic and Functional programming.

Chicago

@Lassulus
lassulus Lassulus
wuff wuff

Berlin (usually)

@hsjobeki
Johannes Kirschbauer hsjobeki
full-time cat keyboard guardian. If you find any purr-fectly strange commits, you know who walked across the keys!

MUC

@philiptaron
Philip Taron philiptaron
I'm Philip Taron. By day, I work @Qumulo building a distributed filesystem. @PhilipTaronQ is my work account.

@Qumulo Tacoma, WA

@MatzE-sch
MatzE MatzE-sch
@KyleKing
Kyle King KyleKing
Founding Software Engineer at Coverbase. Previously at Parexel AI Labs and Meso Scale Diagnostics. Georgia Tech OMSCS Graduate.

Parexel Mexico CIty

@cyang-el
C.H. Yang cyang-el

Berlin / Taipei / Brooklyn

@craigp-execsearch
Craig Pearman - ExecSearch: Technology and Quant roles craigp-execsearch
Headhunter NAM & EMEA >20yrs exp. Recruiting Technology & Quant talent Based in London (UK) & Bratislava (SK) Refs: linkedin.com/in/craigp-execsearch

Xcede (Formerly Etonwood) London & Bratislava

@n-tranced
N-Tranced n-tranced

dvcsrv.com Canada

@Kranzes
Ilan Joselevich Kranzes
Nix and Snix (formerly Tvix) developer

Freelance Israel

@omasanori
Masanori Ogino omasanori

Japan

@nadirhamid
Nadir Hamid nadirhamid
15 years of experience in designing and scaling software.

Edmonton, AB, Canada

@visualrobots
visualrobots
@dezren39
Drewry Pope dezren39
Software Developer. Pretty big fan of computer networking, information security, machine intelligence, automation, and sensors.

@VertexInc Eau Claire, WI, United States

@Neustradamus
Neustradamus Neustradamus
@somasis
Kylie McClain somasis
former computer user, current computer usee

North Carolina

@esclear
Daniel Albert esclear

Germany

@Ei30metry
Artin Ghasivand Ei30metry
Programming Language Theory enthusiast.
@SufyanDahalan
Sufyan Dahalan SufyanDahalan
Currently developing webapps with Vue.js and ASP.NET
@Julow
Jules Aguillon Julow

@tarides France

@pkel
Patrik Keller pkel

Konstanz

@haller33
Any haller33

wired

@abbysmal
Abi abbysmal
Meh
@TheNeikos
Marcel Müller TheNeikos
part-time cat, full-time rust, hobby game developer

@ifm Software France

@picnoir
Félix picnoir
Was Ninjatrappeur

Hautes-Pyrénées, France

@yfeng
yfeng yfeng

ChengDu,China

@alt-romes
Rodrigo Mesquita alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else

Well-Typed LLP @ GHC Team Portugal

@r2r-dev
r2r-dev
@jgarte
Jorge Gomez jgarte

Madison, WI

@EricCrosson
Eric Crosson EricCrosson
Maybe the real tests were the types we made along the way
@ozkutuk
Berk Özkütük ozkutuk

Munich, Germany

@Lou-M
Lou-M

Germany