Kuniwak/isar-cheatsheet

Stars
2
Language
License
MIT License
Created over 3 years ago
Updated about 3 years ago

Kuniwak/isar-cheatsheet

Kuniwak

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Cheatsheet for Isabelle/Isar 2021

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.

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