Kuniwak

MirrorDiffKit

Graduation from messy XCTAssertEqual messages.

MultipartFormDataKit

Simple library for multipart/form-data for Swift.

WiFiQRCodeKit

Library helping Wi-Fi configurations over QR codes

stamp

My stamp images

UIKitTestable

UIKit becomes testable.

iceberg.icls

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

dotfiles

My dotfiles.

jenkins-plugin-fixator

CLI tool to manage Jenkins plugins

csp-fs

Implementation of Communicating Sequential Proccesses (CSP).

fnsh

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

MemoryLeakPlayground

isar-cheatsheet

Cheatsheet for Isabelle/Isar 2021

isabelle-finite-bounded-lattice-is-complete-lattice

isabelle-program-semantics-exercise

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

semantics-of-programing-yokouchi-exercise

wordle

Wordle solver implemented by Prolog

avatar

My Avatar image

ble-macro

circleci-cli

Use CircleCI from the command line

DoubleInductionExample

gh-action-playground

home-vr

Don't just create a VR environment at home. Create a home in VR.

isabelle-coin

A hobby project

isabelle-fold

isabelle-promise-combinators

Small-step operational semantics for Promises (it can represent only unfailable world because it is enough to me)

profile

My profile

test-helper.monkey

Monkey test helper library for Unity UI (uGUI)

tweakpane

A compact pane for fine-tuning/monitoring values

unity-cache-server

Unity CacheServer optimized for multi-client local networks

vscodium-iceberg-theme

Dark blue color theme for Visual Studio Codium