Projects


View Project
veripy
An auto-active verification library for Python3
View Project
dtlc
An implementation of dependently-typed lambda calculus
View Project
UW Solar Data
A web-based panel for visualizing data collected from solar metrics around UW campus
View Project
Blog
A common blog system
View Project
Shiyiquan
A club management platform for BNDS
View Project
BNDSOJ
Online Judge for BNDS Computing Contest class
View Project
SMS2Email
A solution for receiving verification code
View Project
Sager
A Demonic Graph Synthesizer for worst-case performance of algorithms
View Project
Realm.js
A functional-reactive frontend programming library (final project of CSE 402)