Discover @Kuniwak Open Source projects

Yuki Kokubun (@Kuniwak)

Kuniwak

Stars
622
Global Rank 47,749 (Top 2 %)
Followers 208
Following 1
Registered about 13 years ago
Most used languages

JavaScript
33.3 %

Swift
28.9 %

Isabelle 11.1 %

Vim Script
4.4 %

Prolog
4.4 %

TypeScript
2.2 %

F#
2.2 %

Makefile 2.2 %

HTML
2.2 %

Ruby
2.2 %

TeX
2.2 %

Shell
2.2 %

sed 2.2 %
Location 🇯🇵 Japan
Country Total Rank 1,122
Country Ranking

Isabelle 2

sed 3

Prolog
7

F#
34

Swift
108

Vim Script
265

HTML
407

TeX
497

Makefile 592

JavaScript
847

Shell
1,059

TypeScript
1,993

Ruby
3,532

MirrorDiffKit

Graduation from messy XCTAssertEqual messages.

TestableDesignExample

Sample App to learn a testable design (Smalltalk flavored MVC)

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.

RxNextExample

JsDoc2-Template-Bootstrap

Beautiful Template with Bootstrap for JsDoc2.

iceberg.icls

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

MemoryLeakTestKit

how-to-debug-js

https://speakerdeck.com/orgachem/guan-reru-js-su-zao-kujiu-ming-debatuguru-men

isabelle-range

jenkins-plugin-fixator

CLI tool to manage Jenkins plugins

ddsv-prolog

Prolog implementation for https://principia.connpass.com/event/143181/

piine

"piine" is a web app that provides real-time feedback during your presentation.

dotfiles

vim-qrcode

VIM meets QR Code.

csp-fs

Implementation of Communicating Sequential Proccesses (CSP).

swift-ble-macro

BLE (Bluetooth Low Energy) Macros for Swift

MemoryLeakPlayground

fnsh

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

gulp-csslint-sourcemap-reporter

Console reporter adjusting error location by source map for the gulp-csslint module (https://www.npmjs.org/package/gulp-csslint)

slackit

Slackit is the bot framefork for Slack

Closure-annotation-for-JsDoc

The JsDoc plugin makes better JsDoc Annotations from Closure Annotations.

json-jsdoc

This is a JsDoc3 template publish JSON style doclets for each file. This template supports partial documentation.

isar-cheatsheet

Cheatsheet for Isabelle/Isar 2021

vim-prove-syntax

High visibility syntax for TAP by prove verbose output.

DelegateKit

Operators and Utilities for Delegates

tfmu-testing-framework-and-lint

tsumekusajsdoc

TsumekusaJsdoc is a Jsdoc3 template. The template is CUI oriented.

isabelle-program-semantics-exercise

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

Escape-Codec-Library-for-Closure

Escape Codec Library module conformed to Closure Library.

gulp-less-reporter

Error reporter for gulp-less

DIPlayground

doji-auth

Extended PIN Authentication Scheme by Allowing Multi-Touch Input.

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

decode-receipt

in-App Purchase Receipt Decoder for CLI.

StartSmallForAPI

idb-portable

Portable package buider for facebook/idb

semantics-of-programing-yokouchi-exercise

WiFiQRCodeKitExampleApp

An example for WiFiQRCodeKit

doclink

Doclink is a JavaScript module provides to link doc comment to AST node as the link targets.

uec-takada-lab-thesis-styles

Takada Lab(UEC, Tokyo) Thesis Style Files (TeX+BibTeX)

closure-annotate-jsdoc3

The is a Jsdoc3 plugin make Closure Library (and Closure Compiler) style annotation available.

promised-params-collector

wordle

Wordle solver implemented by Prolog

chai-stream

Extends Chai with assertions about streams.

reversi-pml

Model checker playground for https://github.com/Kuniwak/reversi-ios