mzp.jp
Profile
Interests
- Input methods/Typography
- Lambda calculus
- Type theory
- Static program analysis
Current Projects
macOS/iOS Apps
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
Previous Project
- atig.rb: Another Twitter IRC Gateway.
- ajhc: A fork of jhc. And also a Haskell compiler.
Books
Slides