Yuki Kokubun's repositories
TestableDesignExample
Sample App to learn a testable design (Smalltalk flavored MVC)
reversi-ios
バグったら人が死んでしまうリファクタリング・チャレンジ （リバーシ編） iOS版の回答
ddsv-prolog
Prolog implementation for https://principia.connpass.com/event/143181/
idb-portable
Portable package buider for facebook/idb
reversi-pml
Model checker playground for https://github.com/Kuniwak/reversi-ios
FloatingPanel
A clean and easy-to-use floating panel UI component for iOS
ghost-leg-alloy
Formal Verification Trial for Ghost Legs (a.k.a. Amidakuji)
idb
idb is a flexible command line interface for automating iOS simulators and devices
isabelle-counting
https://principia.connpass.com/event/182988/
jasst-tokyo-2019-tutorial-2
A project for Tutorial 2 at JaSST Tokyo 2019
kanban-example
式年遷宮スタイルの GitHub Project カンバン術を実演します
NichinokenQuiz
A solver for https://www.nichinoken.co.jp/shikakumaru/201903_sa/ using TLA+
promela.vim
Promela syntax highlighting
spin-docker
Spin on Alpine Linux
swift
The Swift Programming Language
SwiftTypeInferenceHandsOn
最悪の事故に備えて先にpublicにしました、まだ見ないで！
SwiftUIMechanism
Why `A { B() }` can work? Because...