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
A solver for https://www.nichinoken.co.jp/shikakumaru/201903_sa/ using TLA+
Easy unit testing in node.js and the browser, based on the assert module.
Website using Github pages about my works.
[experimental] Parser combinator implementation for TypeScript
"piine" is a web app that provides real-time feedback during your presentation.
Piine! viewer demo.
piine! viewer demo (no wind model).
Promela syntax highlighting
Library containing types used by the R.swift project
バグったら人が死んでしまうリファクタリング・チャレンジ (リバーシ編) iOS版の回答
Model checker playground for https://github.com/Kuniwak/reversi-ios
Ruby training course for new employees
Reactive Programming in Swift
A browser automation framework and ecosystem.
Simple publish source highlight plugin for JsDoc2
Slackit is the bot framefork for Slack
Socket.IO wrapper class for Google Closure Library.
リアルタイム進捗共有 卒論書けるかな?
Spin for Alpine packages