Discover mzp/coq-js Open Source project by Hiro Mizuno (@mzp)

Multi-column/multi-row slack client for macOS

385

SlackStack

sushibar

prpr

GitHub pull requests' reaction bot

😀 masOS Emoji Input Method

EmojiIM

Famicom(NES) toolkit written by golang.

famicom

EagleJumpSystem

yonkoma manga management system ✨

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.

ocaml-hoogle

:octocat: Github viewer for Files.app

OctoEye

BuckleScript bindings for Lwt

bs-lwt

Markdown editor of Tumblr for MacOS X.

tumblotte

MessagePack for OCaml/Coq

msgpack-ocaml

Simple fluent agent for Windows

fluent-agent-windows-lite

websocket-ocaml

WebSocket Server for OCaml

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

space_tab_bot

Standard ML

qltext-jp

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

coq-ruby

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

mini-os-with-ajhc

trello.md

📋Copy trello board information to clipboard as markdown format.

min-caml

min-caml[forked]

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

tiny-web-server

Rust

lambda

simple typed lambda calculus on Coq

Verilog

scheme-abc

Scheme compiler for ActionScript3 Bytecode/Flash

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

hato

coq-for-ipad

condoc

sunspider-jsx

sunspider benchmark for jsx

Ruboty plugin to show misawa's horesase boys

ruboty-misawa

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

wercker-step-http-notify

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

zoi-grep

Proof of Garbage Collector

Verilog

frama-gc

Mark&Sweep GC verified by frama-c

websocket-plugin

Jenkins Websocket Notifier: notify a build result via websocket

Java

DarkMenuBar

Toggle dark mode on menubar

w3m

podcast-player

HTML5 Podcast player

HappyABC driver & release script

docker-bucklescript

happyabc

Display your heartbeat to indicate your exciting level.

HeartVoice

coq-ide-for-ios

Change disk image type of Docker for Mac

Docker.img

SKK Dictionary synchronization

skk-sync

Python

smlsharp-annot

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

Standard ML

hogewiki

ruboty-timeline

korokoro-koropicot

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

Create Music Playlist from imas-db.jp

CreateMusicPlaylistFromImasdb

coq

ounit-example-1

Bismush

Paint app as Metal Playground

AtsutaKatze

cpdt

radikocast

istream

Generate HTML to play video on iPod touch/iPhone.

Dockerfile for wine and vnc

docker-wine

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

AttendList

Scala

unageel

Jenkins Websocket Plugin

Java

asig

AsakusaSatellite IRC Gateway

zaw-emoji

text.mzp.jp

arisu-in-fact

hadoop-on-scala

totp

Time-based One-time password generator for study.

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

prpr-trello

home-image

prpr-lgtm

bleis

fumifumi

📚a bookshelf for comic magazine

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

prpr-gemfile

sf-beta

Python

kyon_kao_wedding

reimplementation of mozc algorithm for study

tiny-mozc

進捗どうですか - watchOS 2 sample

Shinchoku

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

git-test

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

kct

moji

test

webkitnotification-growl-bridge

AsakusaStatics

fluetnd input plugin for AsakusaSatellite

fluentd-plugin-asakusa-satellite

heroku-buildpack-ocaml-sample

OCaml buildpack sample

heroku-buildpack-eliom-sample

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

applpi

Verilog

smlsharp

Standard ML

vr-poster

Paste cute girl poster in a VR world.

ladder

RSS Reader

TypeScript

cocoapods-app_group

Customizable app group plugin

DarkTimeline

Nobinion - Network dominion

dominion

box-smlsharp

fluentd-on-heroku

danbo

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

ruboty-shinchoku

🌊 Typed redux wrapper for BuckleScript

jinrou

Python

PartakeList

frama-c-sample

ShimbashiShelf

Scala

ripple

emacs lisp for smlsharp-annot

smlsharp-annot-emacs

Emacs Lisp

100

pfds