Tsung-Ju Chiang

icon indicating a website link https://tsung-ju.org

icon company University of Toronto icon location Toronto

Results 2 repositories owned by Tsung-Ju Chiang

IguanaTexMac

80
Stars
21
Forks
Watchers

IguanaTex for mac (Now archived. For the up-to-date version please refer to https://github.com/Jonathan-LeRoux/IguanaTex)

verified publisher icon tsung-ju

SystemF

22
Stars
1
Forks
Watchers

An Agda formalization of System F and the Brown-Palsberg self-interpreter

verified publisher icon tsung-ju