Hiro Mizuno

LoveLiver. Create Apple's Live Photos from JPEG and MOV.

SlackStack. Multi-column/multi-row slack client for macOS

sushibar. TouchBar example

prpr. GitHub pull requests' reaction bot

EmojiIM. 😀 masOS Emoji Input Method

famicom. Famicom(NES) toolkit written by golang.

EagleJumpSystem. yonkoma manga management system :sparkles:

ocaml-hoogle. OCaml API search allows you to search many standard O'Caml libraries by either function name, or by approximate type signature. It is similar to Hoogle, which is a Haskell API search engine. You could use this on Web browser.

japan-postal-code. Japan postal code JavaScript module

OctoEye. :octocat: Github viewer for Files.app

bs-lwt. BuckleScript bindings for Lwt

tumblotte. Markdown editor of Tumblr for MacOS X.

fluent-agent-windows-lite. Simple fluent agent for Windows

msgpack-ocaml. MessagePack for OCaml/Coq

websocket-ocaml. WebSocket Server for OCaml

space_tab_bot. Github bot to detect space-tab-mixed files, and post issue.

qltext-jp. A quicklook plugin for Japanese text file(e.g. Shift JIS, EUC-JP, or UTF-8)

coq-ruby. OCaml

mini-os-with-ajhc. Snatch Mini-OS/Xen using Haskell and Ajhc compiler.

trello.md. 📋Copy trello board information to clipboard as markdown format.

tiny-web-server. http server serve static files to public it for other machines at same network.

min-caml. min-caml[forked]

scheme-abc. Scheme compiler for ActionScript3 Bytecode/Flash

lambda. simple typed lambda calculus on Coq

hato. 🐦 programmable notification for esa.io and Slack using Lambda and API Gateway.

coq-for-ipad. OCaml

sunspider-jsx. sunspider benchmark for jsx

podcast-player. HTML5 Podcast player

websocket-plugin. Jenkins Websocket Notifier: notify a build result via websocket

wercker-step-http-notify. A wercker plugin: Send http request to specified url(a.k.a. webhook)

w3m. w3m

Bismush. Paint app as Metal Playground

Docker.img. Change disk image type of Docker for Mac

HeartVoice. Display your heartbeat to indicate your exciting level.

happyabc. HappyABC driver & release script

docker-bucklescript.

korokoro-koropicot. ころくん(@koropicot)を転がそう

CreateMusicPlaylistFromImasdb. Create Music Playlist from imas-db.jp

AtsutaKatze. JavaScript

skk-sync. SKK Dictionary synchronization

ounit-example-1. OUnit example

hogewiki. JavaScript

radikocast. radiko → podcast

unageel. Jenkins Websocket Plugin

cpdt. Verilog

totp. Time-based One-time password generator for study.

tiny-mozc. reimplementation of mozc algorithm for study