Better parametric search for components available for JLC PCB assembly

Codebase for the NUS Timetable Optimizer, a tool to help students at the National University of Singapore optimize their timetables to their liking.

Open source product configuration based on visual feature models and Z3 SMT solver for providing solutions

[ACL 2021, Findings] Cognate Prediction Per Machine Translation

Z3 tutorials from the rise4fun website

Introductory Tutorial on Refinement Types

server side for Taneman android application

Slides for talk on Language-Integrated Verification