Become a sponsor to Hiromi Ishii
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.
Featured work
-
konn/computational-algebra
General-Purpose Computer Algebra System as an EDSL in Haskell
HTML 92 -
konn/type-natural
Type-level well-kinded natural numbers.
Haskell 33 -
konn/sized
Sized sequence data-types
Haskell 10 -
konn/ghc-typelits-presburger
Presburger arithmetic solver for built-in type-level naturals
Haskell 6 -
haskell/haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Haskell 2,729 -
konn/subcategories
Functors on subcategories induced by class constraints
Haskell 8
$1 a month
SelectSupporter
I appreciate your support and spare slightly more times on OSS.
Your support will motivate development.
$10 a month
SelectGenerous Supporter
I really appreciate your support!
My OSS development will be even much more accelerated.
$50 a month
SelectBronze 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.