There are no reviews yet. Be the first to send feedback to the community and the maintainers!
LoveLiver
Create Apple's Live Photos from JPEG and MOV.SlackStack
Multi-column/multi-row slack client for macOSsushibar
TouchBar exampleprpr
GitHub pull requests' reaction botEmojiIM
π masOS Emoji Input Methodfamicom
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.appbs-lwt
BuckleScript bindings for Lwttumblotte
Markdown editor of Tumblr for MacOS X.msgpack-ocaml
MessagePack for OCaml/Coqwebsocket-ocaml
WebSocket Server for OCamlspace_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 Coqscheme-abc
Scheme compiler for ActionScript3 Bytecode/Flashhato
π¦ programmable notification for esa.io and Slack using Lambda and API Gateway.coq-for-ipad
condoc
Coqdoc to markdownsunspider-jsx
sunspider benchmark for jsxruboty-misawa
Ruboty plugin to show misawa's horesase boyswercker-step-http-notify
A wercker plugin: Send http request to specified url(a.k.a. webhook)zoi-grep
Grep for https://github.com/mzp/EagleJumpSystemGC
Proof of Garbage Collectorframa-gc
Mark&Sweep GC verified by frama-cwebsocket-plugin
Jenkins Websocket Notifier: notify a build result via websocketDarkMenuBar
Toggle dark mode on menubarw3m
w3mpodcast-player
HTML5 Podcast playerdocker-bucklescript
happyabc
HappyABC driver & release scriptHeartVoice
Display your heartbeat to indicate your exciting level.coq-ide-for-ios
Docker.img
Change disk image type of Docker for Macskk-sync
SKK Dictionary synchronizationsmlsharp-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.jpcoq
coq wikiounit-example-1
OUnit exampleBismush
Paint app as Metal PlaygroundAtsutaKatze
cpdt
radikocast
radiko β podcastistream
Generate HTML to play video on iPod touch/iPhone.docker-wine
Dockerfile for wine and vncAttendList
AttendList is a web service to create Twitter list from partake event.unageel
Jenkins Websocket Pluginasig
AsakusaSatellite IRC Gatewayzaw-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
Prpr::Lgtmbleis
fumifumi
πa bookshelf for comic magazineprpr-gemfile
Prpr plugin to annotate major/minor version changing at Gemfile.lock.sf-beta
kyon_kao_wedding
tiny-mozc
reimplementation of mozc algorithm for studyShinchoku
ι²ζγ©γγ§γγ - watchOS 2 samplegit-test
gitεεΌ·δΌγγΉγη¨γ¬γγΈγγͺcoq-js
kct
moji
Present slideshow of characters which has similar but not same glyph.test
testwebkitnotification-growl-bridge
AsakusaStatics
fluentd-plugin-asakusa-satellite
fluetnd input plugin for AsakusaSatelliteheroku-buildpack-ocaml-sample
OCaml buildpack sampleheroku-buildpack-eliom-sample
applpi
smlsharp
deprecated see https://github.com/mzp/smlsharp-annotvr-poster
Paste cute girl poster in a VR world.ladder
RSS Readercocoapods-app_group
Customizable app group pluginDarkTimeline
dominion
Nobinion - Network dominionbox-smlsharp
fluentd-on-heroku
danbo
ruboty-shinchoku
A Ruboty plugin to show ι²ζγ©γγ§γγ? image.jinrou
PartakeList
frama-c-sample
ShimbashiShelf
ripple
π Typed redux wrapper for BuckleScriptsmlsharp-annot-emacs
emacs lisp for smlsharp-annotpfds
Love Open Source and this site? Check out how you can help us