Yusuke Miyazaki

tox-gh-actions. Seamless integration of tox into GitHub Actions for tox 3 and 4

mypy-playground. The mypy playground. Try mypy with your web browser.

kawasemi. A Python library for sending notifications to services such as Slack, HipChat, Twitter, and so on.

wsgi_lineprof. WSGI middleware for line-by-line profiling

lambda-dti. Interpreter of the ITGL with dynamic type inference

python-gyazo. A Python wrapper for Gyazo API

awesome-playgrounds. Curated list of playgrounds where you can test snippets online

python-gyazo-backup. A command-tool for creating backup of Gyazo

portfolio. My portfolio website powered with React

tinyc. Tiny C Compiler written in Python 2

cla-jwt-verifier. Simple HTTP server for verifying JWT issued by Cloudflare Access

mackerel-plugins. Custom plugins for Mackerel

gsrinfer. A type reconstruction algorithm implementation for the implicitly and gradually typed language with shift and reset

run-tox-gh-actions. (EXPERIMENTAL) A composite GitHub Actions run steps for running tox-gh-actions

dotfiles. My dotfiles

sasm. Simple Assembler for SIMPLE Architecture

hue-party. A joke script :)

spim-for-kuis. SPIM for Hardware and Software Laboratory Project 3 (Software) / 計算機科学実験及び演習3 (ソフトウェア)

circleci-tex-sample. Perl

bottle-yotoslack. NO LONGER MAINTAINED: Send notifications to Slack when you received Yo!

prom2bq. Copy data from Prometheus to BigQuery

findme. Simple OS X command line tool for getting your location

ochacaml. Unofficial fork of OchaCaml

pep-561-samples. Example packages for demonstrating usage of PEP 561

RTConnect. Tools for analyzing sales report files of iTunes Connect.

yo.zsh. Send Yo! from Zsh

lambda-rti. Interpreter of the ITGL with runtime type inference

meross-proxy. Wrap meross-iot with simple HTTP APIs for personal use

co2meter_exporter. Prometheus exporter for CO2 meter

vim-copl. 「プログラミング言語の基礎概念」演習システム用の syntax highlighting

tex-to-gif. Convert a TeX document :page_with_curl: into an animation GIF :tv:

sensehat_exporter. Sense HAT exporter for Prometheus

firehook. Simple tool to link Google Assistant and smart home devices via Firebase

fj. Featherweight Java type checker

gsrchecker. A Type Checker for GTLC + shift/reset

homebridge-regza. JavaScript

nagoya-bus-mcp. MCP server for Nagoya City Bus

docker-nginx. Customized Docker image for personal use (mainly for TLS termination, load balancer, reverse proxy)

bme280_exporter. Prometheus exporter for BME280 sensor

homebrew-ymyzk. Homebrew formulae

pycon-jp-2016-type-hints. Python

gh-webhook-rd. Simple application that starts a job in Rundeck when receiving a webhook from GitHub

pytconnect. Tools for analyzing sales report files of iTunes Connect.