Yuki Kokubun

MirrorDiffKit. Graduation from messy XCTAssertEqual messages.

TestableDesignExample. Sample App to learn a testable design (Smalltalk flavored MVC)

MultipartFormDataKit. Simple library for multipart/form-data for Swift.

WiFiQRCodeKit. Library helping Wi-Fi configurations over QR codes

reversi-ios. バグったら人が死んでしまうリファクタリング・チャレンジ （リバーシ編） iOS版の回答

RxNextExample. Swift

UIKitTestable. UIKit becomes testable.

stamp. My stamp images

JsDoc2-Template-Bootstrap. Beautiful Template with Bootstrap for JsDoc2.

iceberg.icls. A dark blue color scheme for IntelliJ IDEA (original is for Vim)

MemoryLeakTestKit. Swift

cli-not-using-frameworks. Go

name. Given Name Searcher in Japanese

how-to-debug-js. https://speakerdeck.com/orgachem/guan-reru-js-su-zao-kujiu-ming-debatuguru-men

swift-ble-macro. BLE (Bluetooth Low Energy) Macros for Swift

isabelle-range. Isabelle

jenkins-plugin-fixator. CLI tool to manage Jenkins plugins

ddsv-prolog. Prolog implementation for https://principia.connpass.com/event/143181/

dotfiles. My dotfiles.

csp-fs. Implementation of Communicating Sequential Proccesses (CSP).

puml-parallel. A Go tool for composing multiple PlantUML state diagrams in parallel with synchronization events

vim-qrcode. VIM meets QR Code.

MemoryLeakPlayground. Swift

fnsh. A hobby project for new language like Bash (this project will be incomplete forever PROBABLY)

gulp-csslint-sourcemap-reporter. Console reporter adjusting error location by source map for the gulp-csslint module (https://www.npmjs.org/package/gulp-csslint)

slackit. Slackit is the bot framefork for Slack

BLEMacroApp. Swift

Closure-annotation-for-JsDoc. The JsDoc plugin makes better JsDoc Annotations from Closure Annotations.

isabelle-program-semantics-exercise. 「情報数学講座（第7巻）プログラム意味論」（著: 横内寛文）の形式的証明

docker-namelti. neologd/namelti on Docker

vim-prove-syntax. High visibility syntax for TAP by prove verbose output.

isabelle-git-commit-graph. Formal Definition of the Git Commit‑Graph Model

tsumekusajsdoc. TsumekusaJsdoc is a Jsdoc3 template. The template is CUI oriented.

closure-annotate-jsdoc3. The is a Jsdoc3 plugin make Closure Library (and Closure Compiler) style annotation available.

reversi-pml. Model checker playground for https://github.com/Kuniwak/reversi-ios

semantics-of-programing-yokouchi-exercise. Isabelle

isabelle-finite-bounded-lattice-is-complete-lattice. Isabelle

doji-auth. Extended PIN Authentication Scheme by Allowing Multi-Touch Input.

idb-portable. Portable package buider for facebook/idb

doclink. Doclink is a JavaScript module provides to link doc comment to AST node as the link targets.

Escape-Codec-Library-for-Closure. Escape Codec Library module conformed to Closure Library.