Discover @mzp Open Source projects

Hiro Mizuno (@mzp)

mzp

Stars
1,486
Global Rank 20,905 (Top 0.8 %)
Followers 341
Following 48
Registered over 16 years ago
Most used languages

OCaml
20.8 %

Ruby
17.7 %

JavaScript
11.5 %

Swift
10.4 %

Python
6.3 %

C
5.2 %

Shell
5.2 %

Verilog 4.2 %

Scala
4.2 %

Standard ML 3.1 %

Java
2.1 %

Go
2.1 %

TypeScript
1.0 %

F#
1.0 %

Emacs Lisp
1.0 %

C#
1.0 %

Rust
1.0 %

AppleScript 1.0 %

HTML
1.0 %
Location 🇺🇸 United States
Country Total Rank 6,402
Country Ranking

Standard ML 34

OCaml
40

F#
129

Swift
231

AppleScript 233

Verilog 233

Scala
1,124

Ruby
2,109

Emacs Lisp
2,619

Go
3,010

Rust
3,843

C
4,439

Shell
7,367

JavaScript
8,892

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 ✨

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.

OctoEye

:octocat: Github viewer for Files.app

bs-lwt

BuckleScript bindings for Lwt

tumblotte

Markdown editor of Tumblr for MacOS X.

msgpack-ocaml

MessagePack for OCaml/Coq

fluent-agent-windows-lite

Simple fluent agent for Windows

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

mini-os-with-ajhc

Snatch Mini-OS/Xen using Haskell and Ajhc compiler.

trello.md

📋Copy trello board information to clipboard as markdown format.

min-caml

min-caml[forked]

tiny-web-server

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

lambda

simple typed lambda calculus on Coq

scheme-abc

Scheme compiler for ActionScript3 Bytecode/Flash

hato

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

coq-for-ipad

condoc

Coqdoc to markdown

sunspider-jsx

sunspider benchmark for jsx

ruboty-misawa

Ruboty plugin to show misawa's horesase boys

wercker-step-http-notify

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

zoi-grep

Grep for https://github.com/mzp/EagleJumpSystem

GC

Proof of Garbage Collector

frama-gc

Mark&Sweep GC verified by frama-c

websocket-plugin

Jenkins Websocket Notifier: notify a build result via websocket

DarkMenuBar

Toggle dark mode on menubar

w3m

podcast-player

HTML5 Podcast player

docker-bucklescript

happyabc

HappyABC driver & release script

HeartVoice

Display your heartbeat to indicate your exciting level.

coq-ide-for-ios

Docker.img

Change disk image type of Docker for Mac

skk-sync

SKK Dictionary synchronization

smlsharp-annot

A patch and emacs lisp for SML# compiler to show a type of expression.

hogewiki

ruboty-timeline

korokoro-koropicot

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

CreateMusicPlaylistFromImasdb

Create Music Playlist from imas-db.jp

coq

ounit-example-1

Bismush

Paint app as Metal Playground

AtsutaKatze

cpdt

radikocast

radiko → podcast

istream

Generate HTML to play video on iPod touch/iPhone.

docker-wine

Dockerfile for wine and vnc

AttendList

AttendList is a web service to create Twitter list from partake event.

unageel

Jenkins Websocket Plugin

asig

AsakusaSatellite IRC Gateway

zaw-emoji

zaw-source for 😄

text.mzp.jp

arisu-in-fact

hadoop-on-scala

totp

Time-based One-time password generator for study.

prpr-trello

Prpr plugin to move trello card when pull request status is changed.

home-image

prpr-lgtm

bleis

fumifumi

📚a bookshelf for comic magazine

prpr-gemfile

Prpr plugin to annotate major/minor version changing at Gemfile.lock.

sf-beta

kyon_kao_wedding

tiny-mozc

reimplementation of mozc algorithm for study

Shinchoku

進捗どうですか - watchOS 2 sample

git-test

git勉強会テスト用レポジトリ

coq-js

kct

moji

Present slideshow of characters which has similar but not same glyph.

test

webkitnotification-growl-bridge

AsakusaStatics

fluentd-plugin-asakusa-satellite

fluetnd input plugin for AsakusaSatellite

heroku-buildpack-ocaml-sample

OCaml buildpack sample

heroku-buildpack-eliom-sample

applpi

smlsharp

deprecated see https://github.com/mzp/smlsharp-annot

vr-poster

Paste cute girl poster in a VR world.

ladder

cocoapods-app_group

Customizable app group plugin

DarkTimeline

dominion

Nobinion - Network dominion

box-smlsharp

fluentd-on-heroku

danbo

ruboty-shinchoku

A Ruboty plugin to show 進捗どうですか? image.

jinrou

PartakeList

frama-c-sample

ShimbashiShelf

ripple

🌊 Typed redux wrapper for BuckleScript

smlsharp-annot-emacs

emacs lisp for smlsharp-annot