mzp.jp

Profile

Twitter: @mzp
Mastodon: @mzp
GitHub: mzp
Blog: みずぴー日記, 🍣.gq
Job: Software Engineer

Interests

Input methods/Typography
Lambda calculus
Type theory
Static program analysis

Current Projects

macOS/iOS Apps

AquaSKK: SKK for macOS.
FlickSKK: SKK for iOS.
EmojiIM: Emoji input method for macOS.
Slack☆Stack: Multi-column/multi-row slack client for macOS.
LoveLiver: Create Apple's Live Photos from JPEG and MOV.
sushibar: Touchbar Example.

Web Apps

moji: Typography app to display similar character(demo).
prpr: Bot framework for github pull request.
AsakusaSatellite: Realtime chat application for developers.
keima: A simple, open, realtime notification service.

Libraries

japan-postal-code: JavaScript module for Japan Postal Code.
msgpack-ocaml: MessagePack for OCaml
cocoapods-app_group - CocoaPods plugin to customizable app group name.

Previous Project

atig.rb: Another Twitter IRC Gateway.
ajhc: A fork of jhc. And also a Haskell compiler.

Books

Slides