Kuniwak

Formal Methods Learner (2019-), Software Engineer in Test, iOS/Web app developer, Git Challenge Problem Author (-2018)

@denaKanagawa, Japan

Pinned Repositories

html-dnd
HTML Drag and Drop Simulator for E2E testing
Language:TypeScript55 6 1535
MirrorDiffKit
Graduation from messy XCTAssertEqual messages.
Language:Swift183 5 95
MultipartFormDataKit
Simple library for multipart/form-data for Swift.
Language:Swift66 6 110
stamp
My stamp images
Language:HTML18 3 00
TestableDesignExample
Sample App to learn a testable design (Smalltalk flavored MVC)
Language:Swift84 8 06
WiFiQRCodeKit
Library helping Wi-Fi configurations over QR codes
Language:Swift39 3 05
css-semdiff
Semantic diff tool for CSS
Language:TypeScript44 29 35
JavaScriptTraining
Training course repository for JavaScript
Language:JavaScript667 106 3530
vint
Fast and Highly Extensible Vim script Language Lint implemented in Python.
Language:Python699 22 18933

Kuniwak's Repositories

Kuniwak/MirrorDiffKit
Graduation from messy XCTAssertEqual messages.
Language:Swift183 5 95
Kuniwak/MultipartFormDataKit
Simple library for multipart/form-data for Swift.
Language:Swift66 6 110
Kuniwak/WiFiQRCodeKit
Library helping Wi-Fi configurations over QR codes
Language:Swift39 3 05
Kuniwak/stamp
My stamp images
Language:HTML18 3 00
Kuniwak/UIKitTestable
UIKit becomes testable.
Language:Swift18 3 01
Kuniwak/iceberg.icls
A dark blue color scheme for IntelliJ IDEA (original is for Vim)
16 4 11
Kuniwak/dotfiles
My dotfiles.
Language:TypeScript6 4 0
Kuniwak/jenkins-plugin-fixator
CLI tool to manage Jenkins plugins
Language:Shell6 3 0
Kuniwak/csp-fs
Implementation of Communicating Sequential Proccesses (CSP).
Language:F#5 2 0
Kuniwak/fnsh
A hobby project for new language like Bash (this project will be incomplete forever PROBABLY)
Language:Isabelle4 3 0
Kuniwak/MemoryLeakPlayground
Language:Swift4 2 0
Kuniwak/isar-cheatsheet
Cheatsheet for Isabelle/Isar 2021
2 3 0
Kuniwak/isabelle-finite-bounded-lattice-is-complete-lattice
Language:Isabelle1 2 0
Kuniwak/isabelle-program-semantics-exercise
「情報数学講座（第7巻）プログラム意味論」（著: 横内寛文）の形式的証明
Language:Isabelle1
Kuniwak/semantics-of-programing-yokouchi-exercise
Language:Isabelle1 3 0
Kuniwak/wordle
Wordle solver implemented by Prolog
Language:Prolog1 2 0
Kuniwak/avatar
My Avatar image
Kuniwak/ble-macro
Kuniwak/circleci-cli
Use CircleCI from the command line
Language:Go2 0
Kuniwak/DoubleInductionExample
Language:Isabelle3 0
Kuniwak/gh-action-playground
3 0
Kuniwak/home-vr
Don't just create a VR environment at home. Create a home in VR.
Language:TypeScript
Kuniwak/isabelle-coin
A hobby project
Language:Isabelle2 0
Kuniwak/isabelle-fold
Language:Isabelle3 0
Kuniwak/isabelle-promise-combinators
Small-step operational semantics for Promises (it can represent only unfailable world because it is enough to me)
Language:Isabelle3 0
Kuniwak/profile
My profile
Language:HTML
Kuniwak/test-helper.monkey
Monkey test helper library for Unity UI (uGUI)
Language:C#0 0
Kuniwak/tweakpane
A compact pane for fine-tuning/monitoring values
Language:JavaScript3 0
Kuniwak/unity-cache-server
Unity CacheServer optimized for multi-client local networks
Language:JavaScript2 0
Kuniwak/vscodium-iceberg-theme
Dark blue color theme for Visual Studio Codium
Language:TypeScript1 0