Edward Z. Yang

icon indicating a website link http://ezyang.com icon indicating an email [email protected]

icon location New York, NY

Results 15 repositories owned by Edward Z. Yang

htmlpurifier

2.9k
Stars
363
Forks
Watchers

Standards compliant HTML filter written in PHP

verified publisher icon ezyang

logitext

147
Stars
11
Forks
Watchers

Beautiful, interactive visualizations of logical inference

verified publisher icon ezyang

lr-agda

23
Stars
3
Forks
Watchers

Logical relations proof in Agda

verified publisher icon ezyang

metromaps

27
Stars
9
Forks
Watchers

Metro Maps as envisioned by Dafna Shahaf

verified publisher icon ezyang

expecttest

64
Stars
5
Forks
Watchers

verified publisher icon ezyang