Solutions to LeetCode problems; updated daily. Subscribe to my YouTube channel for more.

In this bachelor thesis, I developed a toolkit for automated reasoning and interpolation with ordered resolution.

A complete computer science study plan to become a software engineer.

Mini website for testing both general CS knowledge and enforce coding practice and common algorithm/data structure memorization.