PowerCool Hub
Handles logistics for PowerCool, an HVAC company
JavaJavaScriptPostgreSQLSpring BootHTMLCSS
Automated Compile-time Feature Tester
Differential testing for C++ compile-time features
C++PythonCMakeClang AST
Deductive Verifier
Program verification tool for a simple imperative language
PythonZ3
Yet Another Storage Engine (YASE)
A custom storage engine
C++ConcurrencyDatabase Systems
Interactive Portfolio
This website displaying my project experience
TypeScriptReactNext.jsTailwindSVGAI-Assisted
Click a project to see details.