Skip to content
View konn's full-sized avatar
🏠
Working from home
🏠
Working from home
236 followers · 62 following

Sponsors

@rinarakaki
@n-watt

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Block or report konn

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
@piano2683
Hisashi Aratake 荒武永史 piano2683
mathematician/mathematical logic/category theory

Tochigi

@jyp
Jean-Philippe Bernardy jyp

University of Gothenburg Göteborg, Sweden

@aspiwack
Arnaud Spiwack aspiwack

Tweag Tokyo

@egraphs-good
egraphs-good
Using e-graphs to build cool stuff
@jamesdbrock
James Brock jamesdbrock

@xc-jp Yokohama, Japan

@Ryo-wtnb11
RyoWatanabe Ryo-wtnb11
Classical algorithms for Quantum simulations

Osaka University Japan

@shiatsumat
Yusuke Matsushita shiatsumat
A Rust researcher.

Tokyo, Japan

@georgefst
George Thomas georgefst

Cardiff / London, UK

@haskell-kessha
haskell-kessha
@kory33
Kory | Ryosuke Kondo kory33
Modelling ιδέα as form and instantiating intuition as code.
@tweag
Tweag tweag
Software Innovation Lab
@Alwe-logic
Alwe Alwe-logic
A logic without cut elimination is like a car without an engine.

Japan

@tfausak
Taylor Fausak tfausak
@dmjio
David M. Johnson dmjio
Pioneering Haskell native mobile 🍜 📱
@sellout
Greg Pfeil sellout
Designing terrible languages and writing Haskell. Sometimes writing code to help my other pursuits … like skiing or telling time.

independent consultant Boulder, CO, USA

@soulomoon
patrick soulomoon
I might be dying, but I love the abstraction of the world
@alt-romes
Rodrigo Mesquita alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else

Well-Typed LLP @ GHC Team Portugal

@csabahruska
Csaba Hruska csabahruska
I'm a software engineer and I'm keen on doing research and development. I work on compilers and static analyses. I like Haskell, Idris2 and machine code.

London

@haskell-debugger
haskell-debugger haskell-debugger
@haskell-distributed
Distributed Haskell haskell-distributed
@grin-compiler
GRIN Compiler grin-compiler
whole-program optimization framework for functional languages
@July541
Lei Zhu July541
Strong type consistent

Chongqing, China

@simonpj
Simon Peyton Jones simonpj

Epic Games

@AccelerateHS
Accelerate AccelerateHS
High-performance data-parallel arrays for Haskell
@Anton-Latukha
Anton Latukha Anton-Latukha
Haskell & Nix & DevOps & telco & math & philosophy. Bio at: https://blog.latukha.com/bio

Ukraine, Kyiv

@chrisdone
Chris Done chrisdone

Artificial Labs @artificialio England

@alanz
Alan Zimmerman alanz

UK

@wz1000
wz1000
@hvr
Herbert Valerio Riedel hvr

@haskell Vienna, Austria, Europe, Earth, Solar System, Milky Way, ...

@Ailrun
Junyoung/"Clare" Jang Ailrun
A passionate programmer equipped with functional arms. Haskell IDE team member of @haskell, affilated with @haskellfoundation. AWS Scientist Intern 2022

CompLogic @ McGill University Montreal, QC, Canada

@mpickering
Matthew Pickering mpickering

Well Typed LLP Sheffield, UK

@Bodigrim
ˌbodʲɪˈɡrʲim Bodigrim
Director at Haskell Foundation

Odessa, Ukraine

@michaelpj
Michael Peyton Jones michaelpj

CircuitHub London

@ndmitchell
Neil Mitchell ndmitchell
Haskell/Rust programmer. All code is open source and licensed by me, not my employer. All views are my own.

Meta Cambridge, UK

@midoruton
midoruton
@goldfirere
Richard Eisenberg goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.

@janestreet Philadelphia, PA

@phadej
Oleg Grenrus phadej

Well-Typed LLP Helsinki, Finland

@Mikolaj
Mikolaj Konarski Mikolaj
@hasufell
Julian Ospald hasufell
Haskell freelancer, Opensource enthusiast.

Freelancer Taipei

@pepeiborra
Pepe Iborra pepeiborra
Functional programmer

Meta London, UK

@fendor
fendor
@Lugendre
Lugendre Lugendre
Numerical computation software engineer. I'm building a numerical solver with Haskell.

@arkedge Japan

@berberman
Potato Hatsue berberman

Gensokyo

@mino2357
mino2357 mino2357
Mathematics.ODE.PDE.Optimization.

Japan

@k16shikano
keiichiro shikano k16shikano

Tokyo

@cojna
cojna
@LambdaNote
Lambda Note Ltd LambdaNote

Lambda Note Ltd Tokyo

@sksat
sksat sksat
I love low-layer and universe

@arkedge Japan

@dhall-lang
Dhall dhall-lang
Maintainable configuration files
@pi8027
Kazuhiko Sakaguchi pi8027
Postdoc in the Plume team | Interests: interactive theorem proving, formalization of mathematics, proof by reflection, and parametricity

CNRS, ENS de Lyon, UCBL, LIP Lyon, France