Giters
Yutaka Ng (yutakang)

yutakang

Geek Repo

16

followers

14

following

10

stars

Home Page:https://unitedreasoning.wordpress.com/

Twitter:@yutakangE

Github PK Tool:Github PK Tool

Yutaka Ng's repositories

guest_lecture_charles_university

Slides and exercise problems for my guest lecture at Charles University in Prague.

Language:IsabelleStargazers:2Issues:0Issues:0

PSL

Language:IsabelleLicense:NOASSERTIONStargazers:1Issues:1Issues:0

yutakang.github.io

Language:HTMLStargazers:1Issues:0Issues:0

robosuslik

Synthesis with Read-Only Borrows

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

suslik

Synthesis of Heap-Manipulating Programs from Separation Logic

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:0Issues:0