Giters
proof.K (KevinKu)

KevinKu

Geek Repo

6

followers

21

following

57

stars

Github PK Tool:Github PK Tool

proof.K's repositories

Formal-verification-of-simple-C-code

Use to demo

Language:IsabelleLicense:Apache-2.0Stargazers:3Issues:1Issues:0

2016-winter-course

Language:CLicense:MITStargazers:0Issues:1Issues:0

CapacitorPluginTest

Language:VueStargazers:0Issues:2Issues:0

cliri

Coo Less IRI

Language:JavaLicense:NOASSERTIONStargazers:0Issues:1Issues:0

crash

Language:VueStargazers:0Issues:2Issues:0

DoujinSale

同人場次社團賣物資訊

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

EVGUI

Language:CStargazers:0Issues:1Issues:0

EVGUI_Viewer

Language:CStargazers:0Issues:1Issues:0

iota-whitepaper

IOTA whitepaper

Language:TeXStargazers:0Issues:1Issues:0

monolith

:black_large_square: Save HTML pages with ease

Language:RustLicense:UnlicenseStargazers:0Issues:1Issues:0

OpenAniL

License:MITStargazers:0Issues:1Issues:0

ProjectOberon2013

Project Oberon (New Edition 2013) Unofficial Mirror

Language:Modula-2License:NOASSERTIONStargazers:0Issues:1Issues:0

sort_by_Disruptor

License:MITStargazers:0Issues:0Issues:0

use_vim_as_ide

use vim as IDE

Language:VimLLicense:CC0-1.0Stargazers:0Issues:1Issues:0