Yusuke Miyazaki
Site Reliability Engineer in Japan

Projects

mypy Playground

mypy Playground

2017– / Web / Python

Try mypy, an experimental optional static type checker for Python, with your web browser.

tox-gh-actions

tox-gh-actions

2019– / Plugin / Python

A tox plugin which helps running tox on GitHub Actions with multiple different Python versions on multiple workers in parallel.

lambda-dti

lambda-dti

2017– / Programming Language / OCaml

An interpreter of the implicitly typed gradual language (ITGL) which uses dynamic type inference for evaluating programs. This is an artifact of a POPL 2019 paper.

wsgi_lineprof

wsgi_lineprof

2016– / Library / Python

Line profiler as a WSGI middleware. Easily integrates with existing Python web applications.

京大マップ

京大マップ

2012–2017 / Django / iOS / Python / Web

Information sharing application for Kyoto University. Provides detailed map and event sharing platform. Developed iOS application, web application, backend, and infrastructure. Founded a startup in 2013.

鶉野マップ

鶉野マップ

2013–2017 / iOS

Navigation app for Uzurano Airbase which is known for buildings during World War II.

kawasemi

kawasemi

2015– / Library / Python

Python library to send notification to platforms like Slack or HipChat.

CAMPHOR- Website

CAMPHOR- Website

2014–2018 / Django / Python / HTML / CSS / JavaScript / Web

Website of CAMPHOR-, a student engineers/designers community in Kyoto. Implemented both front-end and back-end.

IPSJ77Now⤴︎⤴︎

IPSJ77Now⤴︎⤴︎

2015 / Node.js / HTML / CSS / JavaScript / Web

Webapp to visualize Twitter activity during the 77th national convention of IPSJ. Built front-end and infrastructure and managed the project.

Skills

C
CSS
Debian
Django
HTML
iOS
Java
JavaScript
Linux
Mac OS X
Objective-C
OCaml
Python
Ruby
Scheme
Swift