KevinKu

Let thing be simple

Pinned Repositories

KevinKu/Formal-verification-of-simple-C-code
Use to demo
Language:Isabelle3 1 01
KevinKu/2016-winter-course
Language:C1 0
KevinKu/CapacitorPluginTest
Language:Vue2 0
KevinKu/cliri
Coo Less IRI
Language:Java1 0
KevinKu/crash
Language:Vue2 0
KevinKu/DoujinSale
同人場次社團賣物資訊
Language:JavaScript
KevinKu/EVGUI
Language:C1 0
KevinKu/EVGUI_Viewer
Language:C1 0
KevinKu/iota-whitepaper
IOTA whitepaper
Language:TeX1 0
KevinKu/monolith
:black_large_square: Save HTML pages with ease
Language:Rust1 0
KevinKu/OpenAniL
1 0
KevinKu/ProjectOberon2013
Project Oberon (New Edition 2013) Unofficial Mirror
Language:Modula-21 0
KevinKu/sort_by_Disruptor
KevinKu/use_vim_as_ide
use vim as IDE
Language:VimL1 0