-
Rigorous-Minesweeper Public
Minesweeper but with a twist. Made in a day or two based on a minesweeper clone I saw online.
-
Assists you in doing natural deduction. Current only supports 9 rules of inference: MP, MT, HS, DS, CD, Abs, Simp, Conj, Add.
-
Use english words to type chinese characters.
-
Easiest-Test Public
If you don't know the answers, then you should work harder on your maths skills.
-
Calculator-Program Public
A scientific calculator with the layout based on CASIO calculator fx-50FH II