Skip to content
View juhp's full-sized avatar

Organizations

@fedora-haskell @HaXml

Block or report juhp

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
@stable-haskell
Stable Haskell stable-haskell
Stability related topics around haskell
@lean-ja
lean-ja lean-ja
lean-ja は、Leanに関する情報の交換と集積を目的とした日本語コミュニティです。

Japan

@fedora-haskell
Fedora Haskell packaging fedora-haskell
These repos are for tools and experimental packaging for use with the Fedora Copr buildsys: they don't replace the Fedora Package Git repos.
@axiomed
Axiomed axiomed
Lean4 for software engineers.
@Kha
Sebastian Ullrich Kha

Lean FRO Munich, Germany

@leodemoura
Leonardo de Moura leodemoura
See https://leodemoura.github.io/about.html

AWS Seattle

@sjoerdvisscher
Sjoerd Visscher sjoerdvisscher
he/him

Tweag Den Haag, NL

@HigherOrderCO
HigherOrderCO HigherOrderCO
we are getting to the very core of what makes computers capable of reasoning.
@Bodigrim
ˌbodʲɪˈɡrʲim Bodigrim
Director at Haskell Foundation

Odessa, Ukraine

@tchoutri
Théophile Choutri de Tarlé tchoutri
Functional Programmer with a knack for resilient systems.

@scrive Montreuil, Paris

@luc-tielen
Luc Tielen luc-tielen
Interested in functional programming, compilers and logic. Mainly working on Eclair, a high performance Datalog that compiles to LLVM.

Lambda Tech Belgium

@byorgey
Brent Yorgey byorgey
Open-source Haskell developer, educator, blogger, and competitive programmer.

Hendrix College Conway, AR, USA

@sshine
Simon Shine sshine
Rust, Haskell, Nix
@fjvallarino
Francisco Vallarino fjvallarino

Ciudad Autónoma de Buenos Aires, Argentina

@gelisam
Samuel Gélineau gelisam
Haskeller

well.co Montréal

@colah
Christopher Olah colah
I want to understand things clearly and explain them well. Interpretability at Anthropic. Formerly OpenAI, Google Brain.

Anthropic San Francisco

@pnemade
Parag Nemade pnemade
Open Source Promoter, Developer

Fedora

@epico
Peng Wu epico

fedoraproject.org Beijing, China

@jaspervdj
Jasper Van der Jeugt jaspervdj
Haskell programmer. I like to make things.

programmer at @snyk Zurich, Switzerland

@ssato
Satoru SATOH ssato

Red Hat Kamakura City, Kanagawa Pref., Japan

@snoyberg
Michael Snoyman snoyberg
Haskell and Rust, founder and maintainer of many OSS Haskell projects: Yesod, Conduit, Stack, Stackages, and more. VP of Engineering at FP Complete (@fpco)

@fpco Israel

@jamesni
James Ni jamesni

Beijing, China

@definite
Ding-Yi Chen definite
Senior Software Maintenance engineer

Red Hat Brisbane, Australia

@phuang
Peng Huang phuang

chromium.org Canada