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

Sponsors

@rinarakaki
@n-watt

Achievements

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

Achievements

Achievement: Pair Extraordinairex4Achievement: 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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@haskell-miso
miso haskell-miso
Official organization for the Haskell miso project

United States of America

@termoshtt
Toshiki Teramura termoshtt
Ph.D. in Turbulence/Dynamical Systems

@Jij-Inc Japan

@kory33-jij
Kory | Ryosuke Kondo kory33-jij
Work account of @kory33.
@bgamari-positron
Ben Gamari bgamari-positron

Positron AI Portsmouth, NH

@haskell-wasm
haskell-wasm
@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

@woven-by-toyota Yokohama, Japan

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

Osaka University Japan

@shiatsumat
Yusuke Matsushita shiatsumat
A Rust researcher.

Tokyo, Japan

@georgefst
George Thomas georgefst

@obsidiansystems London / Cardiff, UK

@haskell-kessha
haskell-kessha
@kory33
Kory | Ryosuke Kondo kory33
Modelling ιδέα as form and instantiating intuition as code. Work account: @kory33-jij
@tweag
Tweag by Modus Create tweag
Improving the craft of software engineering
@Alwe-logic
Alwe Alwe-logic
A logic without cut elimination is like a car without an engine.

Japan

@tfausak
Taylor Fausak tfausak
@dmjio
David Johnson dmjio

/nix/store

@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

VP of Engineering at @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
Passionate programmer equipped with Fun. lang., working on a logical foundation of interop. Haskell IDE team member of @haskell. AWS Scientist Intern 2022

CompLogic @ McGill University Montreal, QC, Canada

@mpickering
Matthew Pickering mpickering

XBOW 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.

Durian Consulting Pte. Ltd. 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
Funnel cakes! Get your funnel cakes here!

Gensokyo

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

Japan

@k16shikano
keiichiro shikano k16shikano

Tokyo