konn

Dependent Haskeller / Linear Haskell Advocate, Ph.D. in Math. Writing some Rust for living for a while.

Funding Links: https://github.com/sponsors/konn

Name: Hiromi Ishii
Location: Tokyo
Company: Jij, Inc. @Jij-inc
Kind: user
Followers: 226
Following: 61
Total stars: 727
Repositories count: 255
Created at: 2022-11-02T17:16:09.442Z
Updated at: 2025-03-06T21:12:14.176Z
Last synced at: 2025-03-06T21:12:14.175Z

GitHub Sponsors Profile

Dependent Haskeller, PhD in Mathematics, living in and working from Japan.
I'm currently working at DeepFlow, Inc., Japan, but do some personal projects in my spare time.
My main interest is dependent types in Haskell; I'm developing some packages to make type-level programming in Haskell more comfortable; for example: ghc-typelits-presburger, type-natural, sized to name a few. Some of them are in industrial use in the company I'm working for.
I believe making and maintaining such tools makes everyday Haskell Life more fun and comfortable.
Also, I've recently become a contributor of Haskell Language Server 🎉. I contributed, amongst others, Splice Plugin, import disambiguation, :type and :kind command in Eval Plugin, and so on.
Your financial help can speed up the development of these packages.