Hiromi Ishii

icon indicating a website link https://konn-san.com

icon company Jij, Inc. @Jij-inc icon location Tokyo icon location Dependent Haskeller / Linear Haskell Advocate, Ph.D. in Math. Writing some Rust for living for a while.

Results 4 repositories owned by Hiromi Ishii

computational-algebra

92
Stars
9
Forks
Watchers

General-Purpose Computer Algebra System as an EDSL in Haskell

verified publisher icon konn

equational-reasoning-in-haskell

51
Stars
6
Forks
Watchers

Agda-style equational reasoning in Haskell

verified publisher icon konn

type-natural

33
Stars
12
Forks
Watchers

Type-level well-kinded natural numbers.

verified publisher icon konn

ad-delcont-primop

17
Stars
0
Forks
Watchers

verified publisher icon konn