Skip to content
You must be logged in to sponsor konn

Become a sponsor to Hiromi Ishii

@konn

Hiromi Ishii

konn
Tokyo

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.

@konn

As I'm not advertising Sponsor Programme aggressively, it would be great if there are some, even if a few, people interested in my work.

Current sponsors 2

@rinarakaki
@n-watt

Past sponsors 1

@Haskell-mouse

Featured work

  1. konn/computational-algebra

    General-Purpose Computer Algebra System as an EDSL in Haskell

    HTML 92
  2. konn/type-natural

    Type-level well-kinded natural numbers.

    Haskell 33
  3. konn/sized

    Sized sequence data-types

    Haskell 10
  4. konn/ghc-typelits-presburger

    Presburger arithmetic solver for built-in type-level naturals

    Haskell 6
  5. haskell/haskell-language-server

    Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

    Haskell 2,585
  6. konn/subcategories

    Functors on subcategories induced by class constraints

    Haskell 8

Learn more about sponsoring developers and organizations.

Report abuse

40% towards 5 monthly sponsors goal

@rinarakaki @n-watt

rinarakaki and 1 other sponsor this goal

Select a tier

$ a month

Choose a custom amount.

$1 a month

Select

Supporter

I appreciate your support and spare slightly more times on OSS.
Your support will motivate development.

$10 a month

Select

Generous Supporter

I really appreciate your support!
My OSS development will be even much more accelerated.

$50 a month

Select

Bronze Supporter

I really, really appreciate your support from the bottom of my heart!
I will include your name in README in a repository under my control (i.e. repository of path https://github.com/konn/*) of your choice.