TLA+ for dummies

An TLA+ Guide from dummies (me) to people who have no context on this.

Leetcode 51. N-Queens

Classic backtracking solution.

Leetcode 38. Count and Say

I use the recursive solution, the logic is the same as the dp solution.

Leetcode - Permutations

Four leetcode problems that play with permutation.

Details of Inorder Traversal

After revisiting the inorder traversal (using stack), some if-statements make more sense to me… Here’s a wrong version and a corrected version.

CS465 Project - Vasistart

An Android app that provides remote start function (warming up, AC temperature control, etc.) for vehicles. Backend is mocked, connected through RESTful APIs. Github Link

Django CMDB

A Configuration management database implemented in Django. Github Link

Django Login App

A mock login app using Django. Github Link