Name: Yuki Kokubun
Type: User
Company: @dena
Bio: Formal Methods Learner (2019-), Software Engineer in Test, iOS/Web app developer, Git Challenge Problem Author (-2018)
Twitter: orga_chem
Location: Kanagawa, Japan
Blog: https://kuniwak.com
Yuki Kokubun's Projects
Small-step operational semantics for Promises (it can represent only unfailable world because it is enough to me)
Cheatsheet for Isabelle/Isar 2021
A project for Tutorial 2 at JaSST Tokyo 2019
Better JavaScrirpt syntax support
Training course repository for JavaScript
CLI tool to manage Jenkins plugins
This script creates a JavaScript development space.
An API documentation generator for JavaScript.
JsDoc utility script, that execute JsDoc with parameters set by ruby.
Beautiful Template with Bootstrap for JsDoc2.
This is the newest release of Jsdoc2-Template-Bootstrap.
This is a JsDoc3 template publish JSON style doclets for each file. This template supports partial documentation.
式年遷宮スタイルの GitHub Project カンバン術を実演します
test-kitchen plugin to use ansible in push mode
Vagrant driver for Kitchen
Graduation from messy XCTAssertEqual messages.
Simple library for multipart/form-data for Swift.
Kuniwakが開催に協力してきた勉強会リスト
base project for iOS