Home Archive Projects About Me

Projects


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