Skip to content
View minoki's full-sized avatar
121 followers · 45 following

Sponsors

@toyboot4e
@kevin-kmetz

Sponsoring

@tekezo

Achievements

Achievement: Public SponsorAchievement: Pair ExtraordinaireAchievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Public SponsorAchievement: Pair ExtraordinaireAchievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Block or report minoki

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
@na4zagin3
Sakamoto Noriaki na4zagin3
Interested in functional languages (Haskell, OCaml, Coq, &c) and natural languages (Ancient Greek, Georgian, Classical Chinese)

Indeed.com

@mizchi
Kotaro Chikuba mizchi

Tokyo/Japan

@herumi
MITSUNARI Shigeo herumi
@maekawatoshiki
uint256_t maekawatoshiki
C++, Rust, Graduate student

Japan

@alt-romes
Rodrigo Mesquita alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else

Well-Typed LLP @ GHC Team Portugal

@ProjectSavanna
Project Savanna ProjectSavanna
Tools for Standard ML

Carnegie Mellon University

@akawashiro
Akira Kawata akawashiro
Working as a compiler and runtime engineer for custom ASIC. I am pursuing the best hack always.

Preferred Networks Japan

@nobsun
Nobuo Yamashita nobsun
@Nymphium
Satoru Kawahara Nymphium
lily, Aikatsu, language implenemtation

@eiicon-company Fujisawa, Japan

@nomaddo
nomaddo nomaddo

Japan

@matsubara0507
MATSUBARA Nobutada matsubara0507
i like Haskell

mixi, inc. Tsukuba Ibaraki

@yonta
SAITOU Keita yonta

NONE Saitama, Japan

@smlnj
Standard ML of New Jersey smlnj
@kazu-yamamoto
Kazu Yamamoto kazu-yamamoto

IIJ Innovation Institute Inc Tokyo, JAPAN

@fumieval
Fumiaki Kinoshita fumieval
Bird lover

HERP, Inc. Tokyo

@igrep
YAMAMOTO Yuji igrep
Japanese software developer. Loves rhythm games, PreCure, and Pompom Purin!

MagicPod Inc. Tokyo

@toyboot4e
toyboot4e toyboot4e
@Hexirp
Hexirp Hexirp
Hacking Minecraft, Java, Haskell, Prolog, Scala, Coq, Googology, Elm, Rust, and more

Japan

@maoe
Mitsutoshi Aoe maoe

@tsurucapital Tokyo, Japan

@niszet
niszet niszet

Japan

@vain0x
vain0x vain0x
Interested in compilers and language server protocol. Any reaction is welcome

A company in Japan Japan (Osaka/Kyoto/remote)

@omasanori
Masanori Ogino omasanori

Japan

@k16shikano
keiichiro shikano k16shikano

Tokyo

@qnighy
Masaki Hara qnighy
Loves programming languages. I do not receive scouts via email. Use Wantedly or AtCoder Jobs.

@wantedly Tokyo

@takenobu-hs
Takenobu Tani takenobu-hs
@t-uda
Tomoki UDA t-uda

University of Toyama Toyama

@khibino
日比野 啓 (Kei Hibino) khibino
Working Haskell Programmer . The author of Haskell Relational Record, Project Site https://khibino.github.io/haskell-relational-record/

Tokyo, Japan

@bouzuya
bouzuya bouzuya
なさけはひとのためならず

@doctormate-jp Japan

@kirisaki
Akihito KIRISAKI kirisaki
I love Lolita fashion and static typing languages, especially Haskell 💖

Inage, Chiba JPN

@eldesh
eldesh eldesh

Tokyo

@hyrodium
Yuto Horikawa hyrodium

Osaka, Japan

@kakkun61
Kazuki Okamoto kakkun61
岡本和樹 [o̞͑kä̝mo̞͑to̞͑ kä̝zʊ̠kɪ̟]

Osaka, Japan

@claudeha
Claude Heiland-Allen claudeha
@masataka123
Masataka_iwai masataka123
complex geometry, algebraic geometry, and several complex variables.

Osaka University Osaka

@takoeight0821
Yuya Kono takoeight0821
@gksato
Genki Sato gksato
Working on my Ph. D. in math. I major in homotopy type theory. I write Haskell. I take part in competitive programming at AtCoder with Haskell.

Tokyo, Japan

@gfngfn
Takashi Suwa gfngfn
Develops type systems at Kyoto Univ. and works as a software engineer

Kyoto, Japan

@sunaemon
sunaemon sunaemon
Interest in: C++, Rust, JavaScript https://atcoder.jp/user/sunaemon

Tokyo

@taketo1024
Taketo Sano taketo1024
@keiichiw
Keiichi Watanabe keiichiw
Software engineer who loves strong type systems

@Google

@koba-e964
Hiroki Kobayashi koba-e964
https://atcoder.jp/users/kobae964 Languages: native Japanese, professional working English, elementary Swedish
@msakai
Masahiro Sakai msakai
Computer science researcher. Interests: Functional Programming, SAT/SMT Solvers, Machine Learning, Logic, Category Theory, Mathematical Optimization.

Preferred Networks, Inc. (@pfnet) Kawasaki, Japan

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

Jij, Inc. @Jij-inc Tokyo

@plus7
NOSE Takafumi plus7

Tokyo

@KeenS
κeen KeenS
Rustacean, Lisper, MLer, Compiler Writer

Preferred Networks Inc. Tokyo, Japan