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